Index of /xml/Coq/Reals/R_sqrt

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]Rsqr_sqrt.con.body.xml.gz2004-04-08 01:43 433  
[ ]Rsqr_sqrt.con.types.xml.gz2004-04-08 01:43 649  
[ ]Rsqr_sqrt.con.xml.gz2004-04-08 01:43 474  
[ ]sqrt.con.body.xml.gz2004-04-08 01:43 789  
[ ]sqrt.con.types.xml.gz2004-04-08 01:43 321  
[ ]sqrt.con.xml.gz2004-04-08 01:43 277  
[ ]sqrt_0.con.body.xml.gz2004-04-08 01:43 487  
[ ]sqrt_0.con.types.xml.gz2004-04-08 01:43 623  
[ ]sqrt_0.con.xml.gz2004-04-08 01:43 330  
[ ]sqrt_1.con.body.xml.gz2004-04-08 01:43 1.2K 
[ ]sqrt_1.con.types.xml.gz2004-04-08 01:43 1.3K 
[ ]sqrt_1.con.xml.gz2004-04-08 01:43 333  
[ ]sqrt_Rsqr.con.body.xml.gz2004-04-08 01:43 431  
[ ]sqrt_Rsqr.con.types.xml.gz2004-04-08 01:43 632  
[ ]sqrt_Rsqr.con.xml.gz2004-04-08 01:43 471  
[ ]sqrt_Rsqr_abs.con.body.xml.gz2004-04-08 01:43 674  
[ ]sqrt_Rsqr_abs.con.types.xml.gz2004-04-08 01:43 752  
[ ]sqrt_Rsqr_abs.con.xml.gz2004-04-08 01:43 471  
[ ]sqrt_def.con.body.xml.gz2004-04-08 01:43 424  
[ ]sqrt_def.con.types.xml.gz2004-04-08 01:43 592  
[ ]sqrt_def.con.xml.gz2004-04-08 01:43 482  
[ ]sqrt_eq_0.con.body.xml.gz2004-04-08 01:43 1.2K 
[ ]sqrt_eq_0.con.types.xml.gz2004-04-08 01:43 1.1K 
[ ]sqrt_eq_0.con.xml.gz2004-04-08 01:43 489  
[ ]sqrt_lem_0.con.body.xml.gz2004-04-08 01:43 745  
[ ]sqrt_lem_0.con.types.xml.gz2004-04-08 01:43 714  
[ ]sqrt_lem_0.con.xml.gz2004-04-08 01:43 553  
[ ]sqrt_positivity.con.body.xml.gz2004-04-08 01:43 1.3K 
[ ]sqrt_positivity.con.types.xml.gz2004-04-08 01:43 2.6K 
[ ]sqrt_positivity.con.xml.gz2004-04-08 01:43 429  
[ ]sqrt_sqrt.con.body.xml.gz2004-04-08 01:43 1.9K 
[ ]sqrt_sqrt.con.types.xml.gz2004-04-08 01:43 4.4K 
[ ]sqrt_sqrt.con.xml.gz2004-04-08 01:43 484  
[ ]sqrt_square.con.body.xml.gz2004-04-08 01:43 592  
[ ]sqrt_square.con.types.xml.gz2004-04-08 01:43 931  
[ ]sqrt_square.con.xml.gz2004-04-08 01:43 478  
[ ]sqtr_lem_1.con.body.xml.gz2004-04-08 01:43 902  
[ ]sqtr_lem_1.con.types.xml.gz2004-04-08 01:43 921  
[ ]sqtr_lem_1.con.xml.gz2004-04-08 01:43 555  
[ ]sqrt_div.con.body.xml.gz2004-04-08 01:43 3.6K 
[ ]sqrt_div.con.types.xml.gz2004-04-08 01:43 4.0K 
[ ]sqrt_div.con.xml.gz2004-04-08 01:43 568  
[ ]sqrt_inj.con.body.xml.gz2004-04-08 01:43 1.7K 
[ ]sqrt_inj.con.types.xml.gz2004-04-08 01:43 1.4K 
[ ]sqrt_inj.con.xml.gz2004-04-08 01:43 551  
[ ]sqrt_le_0.con.body.xml.gz2004-04-08 01:43 1.5K 
[ ]sqrt_le_0.con.types.xml.gz2004-04-08 01:43 1.3K 
[ ]sqrt_le_0.con.xml.gz2004-04-08 01:43 512  
[ ]sqrt_le_1.con.body.xml.gz2004-04-08 01:43 1.0K 
[ ]sqrt_le_1.con.types.xml.gz2004-04-08 01:43 923  
[ ]sqrt_le_1.con.xml.gz2004-04-08 01:43 508  
[ ]sqrt_less.con.body.xml.gz2004-04-08 01:43 2.3K 
[ ]sqrt_less.con.types.xml.gz2004-04-08 01:43 1.9K 
[ ]sqrt_less.con.xml.gz2004-04-08 01:43 448  
[ ]sqrt_lt_0.con.body.xml.gz2004-04-08 01:43 1.5K 
[ ]sqrt_lt_0.con.types.xml.gz2004-04-08 01:43 1.3K 
[ ]sqrt_lt_0.con.xml.gz2004-04-08 01:43 514  
[ ]sqrt_lt_1.con.body.xml.gz2004-04-08 01:43 1.0K 
[ ]sqrt_lt_1.con.types.xml.gz2004-04-08 01:43 926  
[ ]sqrt_lt_1.con.xml.gz2004-04-08 01:43 513  
[ ]sqrt_lt_R0.con.body.xml.gz2004-04-08 01:43 1.1K 
[ ]sqrt_lt_R0.con.types.xml.gz2004-04-08 01:43 1.0K 
[ ]sqrt_lt_R0.con.xml.gz2004-04-08 01:43 418  
[ ]sqrt_more.con.body.xml.gz2004-04-08 01:43 2.3K 
[ ]sqrt_more.con.types.xml.gz2004-04-08 01:43 1.9K 
[ ]sqrt_more.con.xml.gz2004-04-08 01:43 451  
[ ]sqrt_mult.con.body.xml.gz2004-04-08 01:43 3.0K 
[ ]sqrt_mult.con.types.xml.gz2004-04-08 01:43 3.4K 
[ ]sqrt_mult.con.xml.gz2004-04-08 01:43 567  
[ ]Delta.con.body.xml.gz2004-04-08 01:43 578  
[ ]Delta.con.types.xml.gz2004-04-08 01:43 192  
[ ]Delta.con.xml.gz2004-04-08 01:43 330  
[ ]Delta_is_pos.con.body.xml.gz2004-04-08 01:43 474  
[ ]Delta_is_pos.con.types.xml.gz2004-04-08 01:43 204  
[ ]Delta_is_pos.con.xml.gz2004-04-08 01:43 352  
[ ]sol_x1.con.body.xml.gz2004-04-08 01:43 584  
[ ]sol_x1.con.types.xml.gz2004-04-08 01:43 194  
[ ]sol_x1.con.xml.gz2004-04-08 01:43 333  
[ ]sol_x2.con.body.xml.gz2004-04-08 01:43 589  
[ ]sol_x2.con.types.xml.gz2004-04-08 01:43 195  
[ ]sol_x2.con.xml.gz2004-04-08 01:43 333  
[ ]sqrt_cauchy.con.body.xml.gz2004-04-08 01:43 25K 
[ ]sqrt_cauchy.con.types.xml.gz2004-04-08 01:43 32K 
[ ]sqrt_cauchy.con.xml.gz2004-04-08 01:43 635  
[ ]Rsqr_sol_eq_0_1.con.xml.gz2004-04-08 01:43 827  
[ ]Rsqr_sol_eq_0_1.con.body.xml.gz2004-04-08 01:43 254K 
[ ]Rsqr_sol_eq_0_1.con.types.xml.gz2004-04-08 01:43 235K 
[ ]Rsqr_sol_eq_0_0.con.body.xml.gz2004-04-08 01:43 42K 
[ ]Rsqr_sol_eq_0_0.con.types.xml.gz2004-04-08 01:43 48K 
[ ]Rsqr_sol_eq_0_0.con.xml.gz2004-04-08 01:43 818  
[ ]Rsqr_sol_eq_0_0.con.proof_tree.xml.gz2004-04-09 18:52 31K 
[ ]Rsqr_sol_eq_0_1.con.proof_tree.xml.gz2004-04-09 18:52 108K 
[ ]Rsqr_sqrt.con.proof_tree.xml.gz2004-04-09 18:52 1.1K 
[ ]sqrt_0.con.proof_tree.xml.gz2004-04-09 18:52 1.3K 
[ ]sqrt_1.con.proof_tree.xml.gz2004-04-09 18:52 1.7K 
[ ]sqrt_Rsqr.con.proof_tree.xml.gz2004-04-09 18:52 1.3K 
[ ]sqrt_Rsqr_abs.con.proof_tree.xml.gz2004-04-09 18:52 1.3K 
[ ]sqrt_cauchy.con.proof_tree.xml.gz2004-04-09 18:52 13K 
[ ]sqrt_def.con.proof_tree.xml.gz2004-04-09 18:52 957  
[ ]sqrt_div.con.proof_tree.xml.gz2004-04-09 18:52 6.1K 
[ ]sqrt_eq_0.con.proof_tree.xml.gz2004-04-09 18:52 1.5K 
[ ]sqrt_inj.con.proof_tree.xml.gz2004-04-09 18:52 1.6K 
[ ]sqrt_le_0.con.proof_tree.xml.gz2004-04-09 18:52 1.4K 
[ ]sqrt_le_1.con.proof_tree.xml.gz2004-04-09 18:52 1.5K 
[ ]sqrt_lem_0.con.proof_tree.xml.gz2004-04-09 18:52 1.2K 
[ ]sqrt_less.con.proof_tree.xml.gz2004-04-09 18:52 2.6K 
[ ]sqrt_lt_0.con.proof_tree.xml.gz2004-04-09 18:52 1.4K 
[ ]sqrt_lt_1.con.proof_tree.xml.gz2004-04-09 18:52 1.5K 
[ ]sqrt_lt_R0.con.proof_tree.xml.gz2004-04-09 18:52 1.6K 
[ ]sqrt_more.con.proof_tree.xml.gz2004-04-09 18:52 2.5K 
[ ]sqrt_mult.con.proof_tree.xml.gz2004-04-09 18:52 2.4K 
[ ]sqrt_positivity.con.proof_tree.xml.gz2004-04-09 18:52 2.6K 
[ ]sqrt_sqrt.con.proof_tree.xml.gz2004-04-09 18:52 3.6K 
[ ]sqrt_square.con.proof_tree.xml.gz2004-04-09 18:52 1.6K 
[ ]sqtr_lem_1.con.proof_tree.xml.gz2004-04-09 18:52 1.7K 
[ ]INDEX2005-07-05 08:11 1.4K 
Apache/2.4.61 (Debian) Server at mowgli.cs.unibo.it Port 80