Index of /xml/Coq/Reals/SeqProp

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]tech13.con.xml.gz2004-04-08 01:36 1.2K 
[ ]tech13.con.types.xml.gz2004-04-08 01:36 20K 
[ ]tech13.con.proof_tree.xml.gz2004-04-09 18:52 20K 
[ ]tech13.con.body.xml.gz2004-04-08 01:36 19K 
[ ]tech10.con.xml.gz2004-04-08 01:36 585  
[ ]tech10.con.types.xml.gz2004-04-08 01:36 16K 
[ ]tech10.con.proof_tree.xml.gz2004-04-09 18:52 24K 
[ ]tech10.con.body.xml.gz2004-04-08 01:36 18K 
[ ]tech9.con.xml.gz2004-04-08 01:36 605  
[ ]tech9.con.types.xml.gz2004-04-08 01:36 6.7K 
[ ]tech9.con.proof_tree.xml.gz2004-04-09 18:52 1.4K 
[ ]tech9.con.body.xml.gz2004-04-08 01:36 5.4K 
[ ]sequence_minorant.con.xml.gz2004-04-08 01:36 449  
[ ]sequence_minorant.con.types.xml.gz2004-04-08 01:36 484  
[ ]sequence_minorant.con.body.xml.gz2004-04-08 01:36 646  
[ ]sequence_majorant.con.xml.gz2004-04-08 01:36 450  
[ ]sequence_majorant.con.types.xml.gz2004-04-08 01:36 485  
[ ]sequence_majorant.con.body.xml.gz2004-04-08 01:36 647  
[ ]opp_seq.con.xml.gz2004-04-08 01:36 352  
[ ]opp_seq.con.types.xml.gz2004-04-08 01:36 196  
[ ]opp_seq.con.body.xml.gz2004-04-08 01:36 457  
[ ]not_Rlt.con.xml.gz2004-04-08 01:36 440  
[ ]not_Rlt.con.types.xml.gz2004-04-08 01:36 1.9K 
[ ]not_Rlt.con.proof_tree.xml.gz2004-04-09 18:52 1.7K 
[ ]not_Rlt.con.body.xml.gz2004-04-08 01:36 1.6K 
[ ]minorant.con.xml.gz2004-04-08 01:36 420  
[ ]minorant.con.types.xml.gz2004-04-08 01:36 197  
[ ]minorant.con.body.xml.gz2004-04-08 01:36 962  
[ ]min_ss.con.xml.gz2004-04-08 01:36 555  
[ ]min_ss.con.types.xml.gz2004-04-08 01:36 2.6K 
[ ]min_ss.con.proof_tree.xml.gz2004-04-09 18:52 3.6K 
[ ]min_ss.con.body.xml.gz2004-04-08 01:36 1.9K 
[ ]min_maj.con.xml.gz2004-04-08 01:36 524  
[ ]min_maj.con.types.xml.gz2004-04-08 01:36 3.0K 
[ ]min_maj.con.proof_tree.xml.gz2004-04-09 18:52 4.6K 
[ ]min_maj.con.body.xml.gz2004-04-08 01:36 2.7K 
[ ]min_inf.con.xml.gz2004-04-08 01:36 631  
[ ]min_inf.con.types.xml.gz2004-04-08 01:36 1.0K 
[ ]min_inf.con.proof_tree.xml.gz2004-04-09 18:52 2.0K 
[ ]min_inf.con.body.xml.gz2004-04-08 01:36 1.0K 
[ ]min_cv.con.xml.gz2004-04-08 01:36 673  
[ ]min_cv.con.types.xml.gz2004-04-08 01:36 640  
[ ]min_cv.con.proof_tree.xml.gz2004-04-09 18:52 1.9K 
[ ]min_cv.con.body.xml.gz2004-04-08 01:36 715  
[ ]majorant.con.xml.gz2004-04-08 01:36 422  
[ ]majorant.con.types.xml.gz2004-04-08 01:36 197  
[ ]majorant.con.body.xml.gz2004-04-08 01:36 903  
[ ]maj_sup.con.xml.gz2004-04-08 01:36 606  
[ ]maj_sup.con.types.xml.gz2004-04-08 01:36 842  
[ ]maj_sup.con.proof_tree.xml.gz2004-04-09 18:52 2.1K 
[ ]maj_sup.con.body.xml.gz2004-04-08 01:36 921  
[ ]maj_ss.con.xml.gz2004-04-08 01:36 560  
[ ]maj_ss.con.types.xml.gz2004-04-08 01:36 2.1K 
[ ]maj_ss.con.proof_tree.xml.gz2004-04-09 18:52 3.3K 
[ ]maj_ss.con.body.xml.gz2004-04-08 01:36 1.7K 
[ ]maj_min.con.xml.gz2004-04-08 01:36 525  
[ ]maj_min.con.types.xml.gz2004-04-08 01:36 3.4K 
[ ]maj_min.con.proof_tree.xml.gz2004-04-09 18:52 5.3K 
[ ]maj_min.con.body.xml.gz2004-04-08 01:36 2.9K 
[ ]maj_cv.con.xml.gz2004-04-08 01:36 674  
[ ]maj_cv.con.types.xml.gz2004-04-08 01:36 568  
[ ]maj_cv.con.proof_tree.xml.gz2004-04-09 18:52 1.8K 
[ ]maj_cv.con.body.xml.gz2004-04-08 01:36 717  
[ ]maj_by_pos.con.xml.gz2004-04-08 01:36 785  
[ ]maj_by_pos.con.types.xml.gz2004-04-08 01:36 5.8K 
[ ]maj_by_pos.con.proof_tree.xml.gz2004-04-09 18:52 7.6K 
[ ]maj_by_pos.con.body.xml.gz2004-04-08 01:36 4.4K 
[ ]has_ub.con.xml.gz2004-04-08 01:36 346  
[ ]has_ub.con.types.xml.gz2004-04-08 01:36 195  
[ ]has_ub.con.body.xml.gz2004-04-08 01:36 482  
[ ]has_lb.con.xml.gz2004-04-08 01:36 347  
[ ]has_lb.con.types.xml.gz2004-04-08 01:36 195  
[ ]has_lb.con.body.xml.gz2004-04-08 01:36 509  
[ ]growing_ineq.con.xml.gz2004-04-08 01:36 607  
[ ]growing_ineq.con.types.xml.gz2004-04-08 01:36 5.9K 
[ ]growing_ineq.con.proof_tree.xml.gz2004-04-09 18:52 8.0K 
[ ]growing_ineq.con.body.xml.gz2004-04-08 01:36 5.8K 
[ ]growing_cv.con.xml.gz2004-04-08 01:36 632  
[ ]growing_cv.con.types.xml.gz2004-04-08 01:36 8.8K 
[ ]growing_cv.con.proof_tree.xml.gz2004-04-09 18:52 12K 
[ ]growing_cv.con.body.xml.gz2004-04-08 01:36 8.6K 
[ ]decreasing_prop.con.xml.gz2004-04-08 01:36 582  
[ ]decreasing_prop.con.types.xml.gz2004-04-08 01:36 6.7K 
[ ]decreasing_prop.con.proof_tree.xml.gz2004-04-09 18:52 2.0K 
[ ]decreasing_prop.con.body.xml.gz2004-04-08 01:36 5.5K 
[ ]decreasing_ineq.con.xml.gz2004-04-08 01:36 613  
[ ]decreasing_ineq.con.types.xml.gz2004-04-08 01:36 1.1K 
[ ]decreasing_ineq.con.proof_tree.xml.gz2004-04-09 18:52 2.4K 
[ ]decreasing_ineq.con.body.xml.gz2004-04-08 01:36 918  
[ ]decreasing_growing.con.xml.gz2004-04-08 01:36 528  
[ ]decreasing_growing.con.types.xml.gz2004-04-08 01:36 1.1K 
[ ]decreasing_growing.con.proof_tree.xml.gz2004-04-09 18:52 2.2K 
[ ]decreasing_growing.con.body.xml.gz2004-04-08 01:36 696  
[ ]decreasing_cv.con.xml.gz2004-04-08 01:36 620  
[ ]decreasing_cv.con.types.xml.gz2004-04-08 01:36 6.0K 
[ ]decreasing_cv.con.proof_tree.xml.gz2004-04-09 18:52 7.2K 
[ ]decreasing_cv.con.body.xml.gz2004-04-08 01:36 5.9K 
[ ]cv_speed_pow_fact.con.xml.gz2004-04-08 01:36 618  
[ ]cv_speed_pow_fact.con.types.xml.gz2004-04-08 01:36 106K 
[ ]cv_speed_pow_fact.con.proof_tree.xml.gz2004-04-09 18:52 112K 
[ ]cv_speed_pow_fact.con.body.xml.gz2004-04-08 01:36 96K 
[ ]cv_infty_cv_R0.con.xml.gz2004-04-08 01:36 713  
[ ]cv_infty_cv_R0.con.types.xml.gz2004-04-08 01:36 5.6K 
[ ]cv_infty_cv_R0.con.proof_tree.xml.gz2004-04-09 18:52 9.4K 
[ ]cv_infty_cv_R0.con.body.xml.gz2004-04-08 01:36 5.2K 
[ ]cv_infty.con.xml.gz2004-04-08 01:36 350  
[ ]cv_infty.con.types.xml.gz2004-04-08 01:36 198  
[ ]cv_infty.con.body.xml.gz2004-04-08 01:36 623  
[ ]cv_cvabs.con.xml.gz2004-04-08 01:36 636  
[ ]cv_cvabs.con.types.xml.gz2004-04-08 01:36 3.1K 
[ ]cv_cvabs.con.proof_tree.xml.gz2004-04-09 18:52 5.3K 
[ ]cv_cvabs.con.body.xml.gz2004-04-08 01:36 2.1K 
[ ]cond_eq.con.xml.gz2004-04-08 01:36 572  
[ ]cond_eq.con.types.xml.gz2004-04-08 01:36 7.8K 
[ ]cond_eq.con.proof_tree.xml.gz2004-04-09 18:52 5.8K 
[ ]cond_eq.con.body.xml.gz2004-04-08 01:36 8.5K 
[ ]cauchy_opp.con.xml.gz2004-04-08 01:36 512  
[ ]cauchy_opp.con.types.xml.gz2004-04-08 01:36 6.6K 
[ ]cauchy_opp.con.proof_tree.xml.gz2004-04-09 18:52 5.7K 
[ ]cauchy_opp.con.body.xml.gz2004-04-08 01:36 5.3K 
[ ]cauchy_min.con.xml.gz2004-04-08 01:36 492  
[ ]cauchy_min.con.types.xml.gz2004-04-08 01:36 742  
[ ]cauchy_min.con.proof_tree.xml.gz2004-04-09 18:52 1.4K 
[ ]cauchy_min.con.body.xml.gz2004-04-08 01:36 647  
[ ]cauchy_maj.con.xml.gz2004-04-08 01:36 492  
[ ]cauchy_maj.con.types.xml.gz2004-04-08 01:36 624  
[ ]cauchy_maj.con.proof_tree.xml.gz2004-04-09 18:52 1.2K 
[ ]cauchy_maj.con.body.xml.gz2004-04-08 01:36 545  
[ ]approx_min.con.xml.gz2004-04-08 01:36 716  
[ ]approx_min.con.types.xml.gz2004-04-08 01:36 20K 
[ ]approx_min.con.proof_tree.xml.gz2004-04-09 18:52 16K 
[ ]approx_min.con.body.xml.gz2004-04-08 01:36 18K 
[ ]approx_maj.con.xml.gz2004-04-08 01:36 712  
[ ]approx_maj.con.types.xml.gz2004-04-08 01:36 14K 
[ ]approx_maj.con.proof_tree.xml.gz2004-04-09 18:52 14K 
[ ]approx_maj.con.body.xml.gz2004-04-08 01:36 12K 
[ ]Wn_decreasing.con.xml.gz2004-04-08 01:36 515  
[ ]Wn_decreasing.con.types.xml.gz2004-04-08 01:36 30K 
[ ]Wn_decreasing.con.proof_tree.xml.gz2004-04-09 18:52 22K 
[ ]Wn_decreasing.con.body.xml.gz2004-04-08 01:36 19K 
[ ]Vn_growing.con.xml.gz2004-04-08 01:36 542  
[ ]Vn_growing.con.types.xml.gz2004-04-08 01:36 37K 
[ ]Vn_growing.con.proof_tree.xml.gz2004-04-09 18:52 27K 
[ ]Vn_growing.con.body.xml.gz2004-04-08 01:36 23K 
[ ]Vn_Un_Wn_order.con.xml.gz2004-04-08 01:36 684  
[ ]Vn_Un_Wn_order.con.types.xml.gz2004-04-08 01:36 28K 
[ ]Vn_Un_Wn_order.con.proof_tree.xml.gz2004-04-09 18:52 23K 
[ ]Vn_Un_Wn_order.con.body.xml.gz2004-04-08 01:36 18K 
[ ]Un_decreasing.con.xml.gz2004-04-08 01:36 356  
[ ]Un_decreasing.con.types.xml.gz2004-04-08 01:36 208  
[ ]Un_decreasing.con.body.xml.gz2004-04-08 01:36 530  
[ ]UL_sequence.con.xml.gz2004-04-08 01:36 585  
[ ]UL_sequence.con.types.xml.gz2004-04-08 01:36 8.8K 
[ ]UL_sequence.con.proof_tree.xml.gz2004-04-09 18:52 8.7K 
[ ]UL_sequence.con.body.xml.gz2004-04-08 01:36 7.7K 
[ ]INDEX2005-07-05 08:11 2.2K 
[ ]CV_plus.con.xml.gz2004-04-08 01:36 732  
[ ]CV_plus.con.types.xml.gz2004-04-08 01:36 13K 
[ ]CV_plus.con.proof_tree.xml.gz2004-04-09 18:52 11K 
[ ]CV_plus.con.body.xml.gz2004-04-08 01:36 8.8K 
[ ]CV_opp.con.xml.gz2004-04-08 01:36 575  
[ ]CV_opp.con.types.xml.gz2004-04-08 01:36 6.1K 
[ ]CV_opp.con.proof_tree.xml.gz2004-04-09 18:52 5.1K 
[ ]CV_opp.con.body.xml.gz2004-04-08 01:36 4.6K 
[ ]CV_mult.con.xml.gz2004-04-08 01:36 732  
[ ]CV_mult.con.types.xml.gz2004-04-08 01:36 72K 
[ ]CV_mult.con.proof_tree.xml.gz2004-04-09 18:52 46K 
[ ]CV_mult.con.body.xml.gz2004-04-08 01:36 65K 
[ ]CV_minus.con.xml.gz2004-04-08 01:36 726  
[ ]CV_minus.con.types.xml.gz2004-04-08 01:36 1.6K 
[ ]CV_minus.con.proof_tree.xml.gz2004-04-09 18:52 2.9K 
[ ]CV_minus.con.body.xml.gz2004-04-08 01:36 1.3K 
[ ]CV_Cauchy.con.xml.gz2004-04-08 01:36 594  
[ ]CV_Cauchy.con.types.xml.gz2004-04-08 01:36 9.2K 
[ ]CV_Cauchy.con.proof_tree.xml.gz2004-04-09 18:52 8.9K 
[ ]CV_Cauchy.con.body.xml.gz2004-04-08 01:36 7.5K 
Apache/2.4.61 (Debian) Server at mowgli.cs.unibo.it Port 80