Index of /xml/Coq/Reals/R_sqr

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]INDEX2005-07-05 08:11 1.8K 
[ ]Rsqr_1.con.body.xml.gz2004-04-08 01:35 960  
[ ]Rsqr_1.con.proof_tree.xml.gz2004-04-09 18:52 502  
[ ]Rsqr_1.con.types.xml.gz2004-04-08 01:35 1.0K 
[ ]Rsqr_1.con.xml.gz2004-04-08 01:35 331  
[ ]Rsqr_abs.con.body.xml.gz2004-04-08 01:35 1.1K 
[ ]Rsqr_abs.con.proof_tree.xml.gz2004-04-09 18:52 2.5K 
[ ]Rsqr_abs.con.types.xml.gz2004-04-08 01:35 2.4K 
[ ]Rsqr_abs.con.xml.gz2004-04-08 01:35 450  
[ ]Rsqr_div.con.body.xml.gz2004-04-08 01:35 2.7K 
[ ]Rsqr_div.con.proof_tree.xml.gz2004-04-09 18:52 3.4K 
[ ]Rsqr_div.con.types.xml.gz2004-04-08 01:35 2.4K 
[ ]Rsqr_div.con.xml.gz2004-04-08 01:35 561  
[ ]Rsqr_eq.con.body.xml.gz2004-04-08 01:35 5.2K 
[ ]Rsqr_eq.con.proof_tree.xml.gz2004-04-09 18:52 4.4K 
[ ]Rsqr_eq.con.types.xml.gz2004-04-08 01:35 5.9K 
[ ]Rsqr_eq.con.xml.gz2004-04-08 01:35 548  
[ ]Rsqr_eq_0.con.body.xml.gz2004-04-08 01:35 859  
[ ]Rsqr_eq_0.con.proof_tree.xml.gz2004-04-09 18:52 1.9K 
[ ]Rsqr_eq_0.con.types.xml.gz2004-04-08 01:35 1.0K 
[ ]Rsqr_eq_0.con.xml.gz2004-04-08 01:35 453  
[ ]Rsqr_eq_abs_0.con.body.xml.gz2004-04-08 01:35 6.6K 
[ ]Rsqr_eq_abs_0.con.proof_tree.xml.gz2004-04-09 18:52 9.8K 
[ ]Rsqr_eq_abs_0.con.types.xml.gz2004-04-08 01:35 10K 
[ ]Rsqr_eq_abs_0.con.xml.gz2004-04-08 01:35 518  
[ ]Rsqr_eq_asb_1.con.body.xml.gz2004-04-08 01:35 1.7K 
[ ]Rsqr_eq_asb_1.con.proof_tree.xml.gz2004-04-09 18:52 1.5K 
[ ]Rsqr_eq_asb_1.con.types.xml.gz2004-04-08 01:35 1.6K 
[ ]Rsqr_eq_asb_1.con.xml.gz2004-04-08 01:35 519  
[ ]Rsqr_gt_0_0.con.body.xml.gz2004-04-08 01:35 1.1K 
[ ]Rsqr_gt_0_0.con.proof_tree.xml.gz2004-04-09 18:52 1.4K 
[ ]Rsqr_gt_0_0.con.types.xml.gz2004-04-08 01:35 848  
[ ]Rsqr_gt_0_0.con.xml.gz2004-04-08 01:35 472  
[ ]Rsqr_incr_0.con.body.xml.gz2004-04-08 01:35 1.7K 
[ ]Rsqr_incr_0.con.proof_tree.xml.gz2004-04-09 18:52 2.7K 
[ ]Rsqr_incr_0.con.types.xml.gz2004-04-08 01:35 1.4K 
[ ]Rsqr_incr_0.con.xml.gz2004-04-08 01:35 516  
[ ]Rsqr_incr_0_var.con.body.xml.gz2004-04-08 01:35 1.7K 
[ ]Rsqr_incr_0_var.con.proof_tree.xml.gz2004-04-09 18:52 2.7K 
[ ]Rsqr_incr_0_var.con.types.xml.gz2004-04-08 01:35 1.4K 
[ ]Rsqr_incr_0_var.con.xml.gz2004-04-08 01:35 497  
[ ]Rsqr_incr_1.con.body.xml.gz2004-04-08 01:35 564  
[ ]Rsqr_incr_1.con.proof_tree.xml.gz2004-04-09 18:52 1.2K 
[ ]Rsqr_incr_1.con.types.xml.gz2004-04-08 01:35 663  
[ ]Rsqr_incr_1.con.xml.gz2004-04-08 01:35 513  
[ ]Rsqr_incrst_0.con.body.xml.gz2004-04-08 01:35 2.0K 
[ ]Rsqr_incrst_0.con.proof_tree.xml.gz2004-04-09 18:52 2.6K 
[ ]Rsqr_incrst_0.con.types.xml.gz2004-04-08 01:35 1.9K 
[ ]Rsqr_incrst_0.con.xml.gz2004-04-08 01:35 533  
[ ]Rsqr_incrst_1.con.body.xml.gz2004-04-08 01:35 572  
[ ]Rsqr_incrst_1.con.proof_tree.xml.gz2004-04-09 18:52 1.2K 
[ ]Rsqr_incrst_1.con.types.xml.gz2004-04-08 01:35 670  
[ ]Rsqr_incrst_1.con.xml.gz2004-04-08 01:35 518  
[ ]Rsqr_inj.con.body.xml.gz2004-04-08 01:35 2.5K 
[ ]Rsqr_inj.con.proof_tree.xml.gz2004-04-09 18:52 2.9K 
[ ]Rsqr_inj.con.types.xml.gz2004-04-08 01:35 2.6K 
[ ]Rsqr_inj.con.xml.gz2004-04-08 01:35 550  
[ ]Rsqr_inv.con.body.xml.gz2004-04-08 01:35 858  
[ ]Rsqr_inv.con.proof_tree.xml.gz2004-04-09 18:52 1.4K 
[ ]Rsqr_inv.con.types.xml.gz2004-04-08 01:35 938  
[ ]Rsqr_inv.con.xml.gz2004-04-08 01:35 521  
[ ]Rsqr_le_abs_0.con.body.xml.gz2004-04-08 01:35 1.0K 
[ ]Rsqr_le_abs_0.con.proof_tree.xml.gz2004-04-09 18:52 1.5K 
[ ]Rsqr_le_abs_0.con.types.xml.gz2004-04-08 01:35 933  
[ ]Rsqr_le_abs_0.con.xml.gz2004-04-08 01:35 484  
[ ]Rsqr_le_abs_1.con.body.xml.gz2004-04-08 01:35 1.0K 
[ ]Rsqr_le_abs_1.con.proof_tree.xml.gz2004-04-09 18:52 1.3K 
[ ]Rsqr_le_abs_1.con.types.xml.gz2004-04-08 01:35 937  
[ ]Rsqr_le_abs_1.con.xml.gz2004-04-08 01:35 485  
[ ]Rsqr_lt_abs_0.con.body.xml.gz2004-04-08 01:35 1.0K 
[ ]Rsqr_lt_abs_0.con.proof_tree.xml.gz2004-04-09 18:52 1.5K 
[ ]Rsqr_lt_abs_0.con.types.xml.gz2004-04-08 01:35 936  
[ ]Rsqr_lt_abs_0.con.xml.gz2004-04-08 01:35 484  
[ ]Rsqr_lt_abs_1.con.body.xml.gz2004-04-08 01:35 1.0K 
[ ]Rsqr_lt_abs_1.con.proof_tree.xml.gz2004-04-09 18:52 1.3K 
[ ]Rsqr_lt_abs_1.con.types.xml.gz2004-04-08 01:35 943  
[ ]Rsqr_lt_abs_1.con.xml.gz2004-04-08 01:35 485  
[ ]Rsqr_minus.con.body.xml.gz2004-04-08 01:35 3.2K 
[ ]Rsqr_minus.con.proof_tree.xml.gz2004-04-09 18:52 1.5K 
[ ]Rsqr_minus.con.types.xml.gz2004-04-08 01:35 4.3K 
[ ]Rsqr_minus.con.xml.gz2004-04-08 01:35 598  
[ ]Rsqr_minus_plus.con.body.xml.gz2004-04-08 01:35 2.7K 
[ ]Rsqr_minus_plus.con.proof_tree.xml.gz2004-04-09 18:52 1.3K 
[ ]Rsqr_minus_plus.con.types.xml.gz2004-04-08 01:35 3.4K 
[ ]Rsqr_minus_plus.con.xml.gz2004-04-08 01:35 540  
[ ]Rsqr_mult.con.body.xml.gz2004-04-08 01:35 2.5K 
[ ]Rsqr_mult.con.proof_tree.xml.gz2004-04-09 18:52 1.2K 
[ ]Rsqr_mult.con.types.xml.gz2004-04-08 01:35 3.1K 
[ ]Rsqr_mult.con.xml.gz2004-04-08 01:35 501  
[ ]Rsqr_neg.con.body.xml.gz2004-04-08 01:35 844  
[ ]Rsqr_neg.con.proof_tree.xml.gz2004-04-09 18:52 1.0K 
[ ]Rsqr_neg.con.types.xml.gz2004-04-08 01:35 1.1K 
[ ]Rsqr_neg.con.xml.gz2004-04-08 01:35 443  
[ ]Rsqr_neg_minus.con.body.xml.gz2004-04-08 01:35 3.0K 
[ ]Rsqr_neg_minus.con.proof_tree.xml.gz2004-04-09 18:52 1.2K 
[ ]Rsqr_neg_minus.con.types.xml.gz2004-04-08 01:35 3.8K 
[ ]Rsqr_neg_minus.con.xml.gz2004-04-08 01:35 504  
[ ]Rsqr_neg_pos_le_0.con.body.xml.gz2004-04-08 01:35 2.6K 
[ ]Rsqr_neg_pos_le_0.con.proof_tree.xml.gz2004-04-09 18:52 3.7K 
[ ]Rsqr_neg_pos_le_0.con.types.xml.gz2004-04-08 01:35 2.5K 
[ ]Rsqr_neg_pos_le_0.con.xml.gz2004-04-08 01:35 513  
[ ]Rsqr_neg_pos_le_1.con.body.xml.gz2004-04-08 01:35 2.6K 
[ ]Rsqr_neg_pos_le_1.con.proof_tree.xml.gz2004-04-09 18:52 4.2K 
[ ]Rsqr_neg_pos_le_1.con.types.xml.gz2004-04-08 01:35 2.5K 
[ ]Rsqr_neg_pos_le_1.con.xml.gz2004-04-08 01:35 549  
[ ]Rsqr_plus.con.body.xml.gz2004-04-08 01:35 3.1K 
[ ]Rsqr_plus.con.proof_tree.xml.gz2004-04-09 18:52 1.5K 
[ ]Rsqr_plus.con.types.xml.gz2004-04-08 01:35 4.2K 
[ ]Rsqr_plus.con.xml.gz2004-04-08 01:35 594  
[ ]Rsqr_plus_minus.con.body.xml.gz2004-04-08 01:35 2.7K 
[ ]Rsqr_plus_minus.con.proof_tree.xml.gz2004-04-09 18:52 1.3K 
[ ]Rsqr_plus_minus.con.types.xml.gz2004-04-08 01:35 3.4K 
[ ]Rsqr_plus_minus.con.xml.gz2004-04-08 01:35 540  
[ ]Rsqr_pos_lt.con.body.xml.gz2004-04-08 01:35 2.0K 
[ ]Rsqr_pos_lt.con.proof_tree.xml.gz2004-04-09 18:52 3.4K 
[ ]Rsqr_pos_lt.con.types.xml.gz2004-04-08 01:35 2.0K 
[ ]Rsqr_pos_lt.con.xml.gz2004-04-08 01:35 480  
[ ]canonical_Rsqr.con.body.xml.gz2004-04-08 01:35 82K 
[ ]canonical_Rsqr.con.proof_tree.xml.gz2004-04-09 18:52 36K 
[ ]canonical_Rsqr.con.types.xml.gz2004-04-08 01:35 76K 
[ ]canonical_Rsqr.con.xml.gz2004-04-08 01:35 1.0K 
[ ]neg_pos_Rsqr_le.con.body.xml.gz2004-04-08 01:35 2.8K 
[ ]neg_pos_Rsqr_le.con.proof_tree.xml.gz2004-04-09 18:52 4.3K 
[ ]neg_pos_Rsqr_le.con.types.xml.gz2004-04-08 01:35 3.0K 
[ ]neg_pos_Rsqr_le.con.xml.gz2004-04-08 01:35 507  
[ ]triangle_rectangle.con.body.xml.gz2004-04-08 01:35 2.0K 
[ ]triangle_rectangle.con.proof_tree.xml.gz2004-04-09 18:52 3.5K 
[ ]triangle_rectangle.con.types.xml.gz2004-04-08 01:35 2.8K 
[ ]triangle_rectangle.con.xml.gz2004-04-08 01:35 720  
[ ]triangle_rectangle_le.con.body.xml.gz2004-04-08 01:35 1.7K 
[ ]triangle_rectangle_le.con.proof_tree.xml.gz2004-04-09 18:52 2.0K 
[ ]triangle_rectangle_le.con.types.xml.gz2004-04-08 01:35 1.8K 
[ ]triangle_rectangle_le.con.xml.gz2004-04-08 01:35 646  
[ ]triangle_rectangle_lt.con.body.xml.gz2004-04-08 01:35 1.7K 
[ ]triangle_rectangle_lt.con.proof_tree.xml.gz2004-04-09 18:52 2.0K 
[ ]triangle_rectangle_lt.con.types.xml.gz2004-04-08 01:35 1.8K 
[ ]triangle_rectangle_lt.con.xml.gz2004-04-08 01:35 646  
Apache/2.4.57 (Debian) Server at mowgli.cs.unibo.it Port 80