Index of /xml/Coq/Reals/Rbasic_fun

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]INDEX2005-07-05 08:11 2.0K 
[ ]RRle_abs.con.body.xml.gz2004-04-08 01:35 1.0K 
[ ]RRle_abs.con.proof_tree.xml.gz2004-04-09 18:52 2.1K 
[ ]RRle_abs.con.types.xml.gz2004-04-08 01:35 2.1K 
[ ]RRle_abs.con.xml.gz2004-04-08 01:35 386  
[ ]RRle_abs_subproof.con.body.xml.gz2004-04-08 01:35 4.7K 
[ ]RRle_abs_subproof.con.proof_tree.xml.gz2004-04-09 18:52 560  
[ ]RRle_abs_subproof.con.types.xml.gz2004-04-08 01:35 5.3K 
[ ]RRle_abs_subproof.con.xml.gz2004-04-08 01:35 433  
[ ]RRle_abs_subproof0.con.body.xml.gz2004-04-08 01:35 3.5K 
[ ]RRle_abs_subproof0.con.proof_tree.xml.gz2004-04-09 18:52 556  
[ ]RRle_abs_subproof0.con.types.xml.gz2004-04-08 01:35 3.5K 
[ ]RRle_abs_subproof0.con.xml.gz2004-04-08 01:35 409  
[ ]Rabs.con.body.xml.gz2004-04-08 01:35 683  
[ ]Rabs.con.types.xml.gz2004-04-08 01:35 194  
[ ]Rabs.con.xml.gz2004-04-08 01:35 277  
[ ]Rabs_R0.con.body.xml.gz2004-04-08 01:35 1.2K 
[ ]Rabs_R0.con.proof_tree.xml.gz2004-04-09 18:52 2.2K 
[ ]Rabs_R0.con.types.xml.gz2004-04-08 01:35 2.3K 
[ ]Rabs_R0.con.xml.gz2004-04-08 01:35 340  
[ ]Rabs_R1.con.body.xml.gz2004-04-08 01:35 1.5K 
[ ]Rabs_R1.con.proof_tree.xml.gz2004-04-09 18:52 2.1K 
[ ]Rabs_R1.con.types.xml.gz2004-04-08 01:35 2.6K 
[ ]Rabs_R1.con.xml.gz2004-04-08 01:35 338  
[ ]Rabs_Rabsolu.con.body.xml.gz2004-04-08 01:35 419  
[ ]Rabs_Rabsolu.con.proof_tree.xml.gz2004-04-09 18:52 853  
[ ]Rabs_Rabsolu.con.types.xml.gz2004-04-08 01:35 603  
[ ]Rabs_Rabsolu.con.xml.gz2004-04-08 01:35 447  
[ ]Rabs_Rinv.con.body.xml.gz2004-04-08 01:35 5.0K 
[ ]Rabs_Rinv.con.proof_tree.xml.gz2004-04-09 18:52 9.9K 
[ ]Rabs_Rinv.con.types.xml.gz2004-04-08 01:35 10K 
[ ]Rabs_Rinv.con.xml.gz2004-04-08 01:35 524  
[ ]Rabs_Ropp.con.body.xml.gz2004-04-08 01:35 5.0K 
[ ]Rabs_Ropp.con.proof_tree.xml.gz2004-04-09 18:52 4.6K 
[ ]Rabs_Ropp.con.types.xml.gz2004-04-08 01:35 7.3K 
[ ]Rabs_Ropp.con.xml.gz2004-04-08 01:35 449  
[ ]Rabs_Zabs.con.body.xml.gz2004-04-08 01:35 1.3K 
[ ]Rabs_Zabs.con.proof_tree.xml.gz2004-04-09 18:52 2.9K 
[ ]Rabs_Zabs.con.types.xml.gz2004-04-08 01:35 1.8K 
[ ]Rabs_Zabs.con.xml.gz2004-04-08 01:35 484  
[ ]Rabs_def1.con.body.xml.gz2004-04-08 01:35 1.6K 
[ ]Rabs_def1.con.proof_tree.xml.gz2004-04-09 18:52 3.6K 
[ ]Rabs_def1.con.types.xml.gz2004-04-08 01:35 2.5K 
[ ]Rabs_def1.con.xml.gz2004-04-08 01:35 489  
[ ]Rabs_def2.con.body.xml.gz2004-04-08 01:35 2.7K 
[ ]Rabs_def2.con.proof_tree.xml.gz2004-04-09 18:52 6.4K 
[ ]Rabs_def2.con.types.xml.gz2004-04-08 01:35 4.8K 
[ ]Rabs_def2.con.xml.gz2004-04-08 01:35 538  
[ ]Rabs_left.con.body.xml.gz2004-04-08 01:35 1.5K 
[ ]Rabs_left.con.proof_tree.xml.gz2004-04-09 18:52 2.4K 
[ ]Rabs_left.con.types.xml.gz2004-04-08 01:35 2.6K 
[ ]Rabs_left.con.xml.gz2004-04-08 01:35 472  
[ ]Rabs_left1.con.body.xml.gz2004-04-08 01:35 1.3K 
[ ]Rabs_left1.con.proof_tree.xml.gz2004-04-09 18:52 1.8K 
[ ]Rabs_left1.con.types.xml.gz2004-04-08 01:35 1.1K 
[ ]Rabs_left1.con.xml.gz2004-04-08 01:35 476  
[ ]Rabs_minus_sym.con.body.xml.gz2004-04-08 01:35 6.9K 
[ ]Rabs_minus_sym.con.proof_tree.xml.gz2004-04-09 18:52 10K 
[ ]Rabs_minus_sym.con.types.xml.gz2004-04-08 01:35 12K 
[ ]Rabs_minus_sym.con.xml.gz2004-04-08 01:35 502  
[ ]Rabs_mult.con.body.xml.gz2004-04-08 01:35 23K 
[ ]Rabs_mult.con.proof_tree.xml.gz2004-04-09 18:52 30K 
[ ]Rabs_mult.con.types.xml.gz2004-04-08 01:35 36K 
[ ]Rabs_mult.con.xml.gz2004-04-08 01:35 507  
[ ]Rabs_no_R0.con.body.xml.gz2004-04-08 01:35 1.1K 
[ ]Rabs_no_R0.con.proof_tree.xml.gz2004-04-09 18:52 2.6K 
[ ]Rabs_no_R0.con.types.xml.gz2004-04-08 01:35 2.4K 
[ ]Rabs_no_R0.con.xml.gz2004-04-08 01:35 498  
[ ]Rabs_pos.con.body.xml.gz2004-04-08 01:35 1.6K 
[ ]Rabs_pos.con.proof_tree.xml.gz2004-04-09 18:52 3.0K 
[ ]Rabs_pos.con.types.xml.gz2004-04-08 01:35 2.9K 
[ ]Rabs_pos.con.xml.gz2004-04-08 01:35 384  
[ ]Rabs_pos_eq.con.body.xml.gz2004-04-08 01:35 1.3K 
[ ]Rabs_pos_eq.con.proof_tree.xml.gz2004-04-09 18:52 2.6K 
[ ]Rabs_pos_eq.con.types.xml.gz2004-04-08 01:35 2.6K 
[ ]Rabs_pos_eq.con.xml.gz2004-04-08 01:35 459  
[ ]Rabs_pos_lt.con.body.xml.gz2004-04-08 01:35 3.1K 
[ ]Rabs_pos_lt.con.proof_tree.xml.gz2004-04-09 18:52 4.4K 
[ ]Rabs_pos_lt.con.types.xml.gz2004-04-08 01:35 4.2K 
[ ]Rabs_pos_lt.con.xml.gz2004-04-08 01:35 483  
[ ]Rabs_right.con.body.xml.gz2004-04-08 01:35 1.5K 
[ ]Rabs_right.con.proof_tree.xml.gz2004-04-09 18:52 2.4K 
[ ]Rabs_right.con.types.xml.gz2004-04-08 01:35 2.6K 
[ ]Rabs_right.con.xml.gz2004-04-08 01:35 466  
[ ]Rabs_triang.con.body.xml.gz2004-04-08 01:35 21K 
[ ]Rabs_triang.con.proof_tree.xml.gz2004-04-09 18:52 29K 
[ ]Rabs_triang.con.types.xml.gz2004-04-08 01:35 27K 
[ ]Rabs_triang.con.xml.gz2004-04-08 01:35 482  
[ ]Rabs_triang_inv.con.body.xml.gz2004-04-08 01:35 4.7K 
[ ]Rabs_triang_inv.con.proof_tree.xml.gz2004-04-09 18:52 2.8K 
[ ]Rabs_triang_inv.con.types.xml.gz2004-04-08 01:35 3.7K 
[ ]Rabs_triang_inv.con.xml.gz2004-04-08 01:35 488  
[ ]Rabs_triang_inv2.con.body.xml.gz2004-04-08 01:35 6.2K 
[ ]Rabs_triang_inv2.con.proof_tree.xml.gz2004-04-09 18:52 3.3K 
[ ]Rabs_triang_inv2.con.types.xml.gz2004-04-08 01:35 6.6K 
[ ]Rabs_triang_inv2.con.xml.gz2004-04-08 01:35 509  
[ ]Rcase_abs.con.body.xml.gz2004-04-08 01:35 1.1K 
[ ]Rcase_abs.con.proof_tree.xml.gz2004-04-09 18:52 2.1K 
[ ]Rcase_abs.con.types.xml.gz2004-04-08 01:35 371  
[ ]Rcase_abs.con.xml.gz2004-04-08 01:35 431  
[ ]Rmax.con.body.xml.gz2004-04-08 01:35 737  
[ ]Rmax.con.types.xml.gz2004-04-08 01:35 194  
[ ]Rmax.con.xml.gz2004-04-08 01:35 288  
[ ]RmaxAbs.con.body.xml.gz2004-04-08 01:35 4.2K 
[ ]RmaxAbs.con.proof_tree.xml.gz2004-04-09 18:52 6.9K 
[ ]RmaxAbs.con.types.xml.gz2004-04-08 01:35 3.7K 
[ ]RmaxAbs.con.xml.gz2004-04-08 01:35 536  
[ ]RmaxLess1.con.body.xml.gz2004-04-08 01:35 1.2K 
[ ]RmaxLess1.con.proof_tree.xml.gz2004-04-09 18:52 2.0K 
[ ]RmaxLess1.con.types.xml.gz2004-04-08 01:35 2.4K 
[ ]RmaxLess1.con.xml.gz2004-04-08 01:35 414  
[ ]RmaxLess2.con.body.xml.gz2004-04-08 01:35 1.2K 
[ ]RmaxLess2.con.proof_tree.xml.gz2004-04-09 18:52 2.0K 
[ ]RmaxLess2.con.types.xml.gz2004-04-08 01:35 2.4K 
[ ]RmaxLess2.con.xml.gz2004-04-08 01:35 413  
[ ]RmaxRmult.con.body.xml.gz2004-04-08 01:35 5.6K 
[ ]RmaxRmult.con.proof_tree.xml.gz2004-04-09 18:52 9.5K 
[ ]RmaxRmult.con.types.xml.gz2004-04-08 01:35 11K 
[ ]RmaxRmult.con.xml.gz2004-04-08 01:35 590  
[ ]RmaxSym.con.body.xml.gz2004-04-08 01:35 2.8K 
[ ]RmaxSym.con.proof_tree.xml.gz2004-04-09 18:52 4.7K 
[ ]RmaxSym.con.types.xml.gz2004-04-08 01:35 5.6K 
[ ]RmaxSym.con.xml.gz2004-04-08 01:35 458  
[ ]Rmax_Rle.con.body.xml.gz2004-04-08 01:35 3.1K 
[ ]Rmax_Rle.con.proof_tree.xml.gz2004-04-09 18:52 6.4K 
[ ]Rmax_Rle.con.types.xml.gz2004-04-08 01:35 5.1K 
[ ]Rmax_Rle.con.xml.gz2004-04-08 01:35 541  
[ ]Rmax_stable_in_negreal.con.body.xml.gz2004-04-08 01:35 1.4K 
[ ]Rmax_stable_in_negreal.con.proof_tree.xml.gz2004-04-09 18:52 2.9K 
[ ]Rmax_stable_in_negreal.con.types.xml.gz2004-04-08 01:35 3.3K 
[ ]Rmax_stable_in_negreal.con.xml.gz2004-04-08 01:35 485  
[ ]Rmin.con.body.xml.gz2004-04-08 01:35 738  
[ ]Rmin.con.types.xml.gz2004-04-08 01:35 194  
[ ]Rmin.con.xml.gz2004-04-08 01:35 288  
[ ]Rmin_Rgt.con.body.xml.gz2004-04-08 01:35 788  
[ ]Rmin_Rgt.con.proof_tree.xml.gz2004-04-09 18:52 1.4K 
[ ]Rmin_Rgt.con.types.xml.gz2004-04-08 01:35 1.1K 
[ ]Rmin_Rgt.con.xml.gz2004-04-08 01:35 545  
[ ]Rmin_Rgt_l.con.body.xml.gz2004-04-08 01:35 1.6K 
[ ]Rmin_Rgt_l.con.proof_tree.xml.gz2004-04-09 18:52 3.7K 
[ ]Rmin_Rgt_l.con.types.xml.gz2004-04-08 01:35 3.3K 
[ ]Rmin_Rgt_l.con.xml.gz2004-04-08 01:35 538  
[ ]Rmin_Rgt_r.con.body.xml.gz2004-04-08 01:35 1.6K 
[ ]Rmin_Rgt_r.con.proof_tree.xml.gz2004-04-09 18:52 2.7K 
[ ]Rmin_Rgt_r.con.types.xml.gz2004-04-08 01:35 2.1K 
[ ]Rmin_Rgt_r.con.xml.gz2004-04-08 01:35 534  
[ ]Rmin_comm.con.body.xml.gz2004-04-08 01:35 2.8K 
[ ]Rmin_comm.con.proof_tree.xml.gz2004-04-09 18:52 4.9K 
[ ]Rmin_comm.con.types.xml.gz2004-04-08 01:35 5.6K 
[ ]Rmin_comm.con.xml.gz2004-04-08 01:35 461  
[ ]Rmin_l.con.body.xml.gz2004-04-08 01:35 1.2K 
[ ]Rmin_l.con.proof_tree.xml.gz2004-04-09 18:52 2.3K 
[ ]Rmin_l.con.types.xml.gz2004-04-08 01:35 2.4K 
[ ]Rmin_l.con.xml.gz2004-04-08 01:35 407  
[ ]Rmin_r.con.body.xml.gz2004-04-08 01:35 1.1K 
[ ]Rmin_r.con.proof_tree.xml.gz2004-04-09 18:52 2.1K 
[ ]Rmin_r.con.types.xml.gz2004-04-08 01:35 2.4K 
[ ]Rmin_r.con.xml.gz2004-04-08 01:35 403  
[ ]Rmin_stable_in_posreal.con.body.xml.gz2004-04-08 01:35 654  
[ ]Rmin_stable_in_posreal.con.proof_tree.xml.gz2004-04-09 18:52 1.3K 
[ ]Rmin_stable_in_posreal.con.types.xml.gz2004-04-08 01:35 914  
[ ]Rmin_stable_in_posreal.con.xml.gz2004-04-08 01:35 478  
Apache/2.4.57 (Debian) Server at mowgli.cs.unibo.it Port 80