Index of /xml/Coq/ZArith/Zlogarithm

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]INDEX2005-07-05 08:11 1.2K 
[ ]Is_power.con.body.xml.gz2004-04-08 01:31 665  
[ ]Is_power.con.types.xml.gz2004-04-08 01:31 201  
[ ]Is_power.con.xml.gz2004-04-08 01:31 300  
[ ]Is_power_correct.con.body.xml.gz2004-04-08 01:31 3.3K 
[ ]Is_power_correct.con.proof_tree.xml.gz2004-04-09 18:52 6.3K 
[ ]Is_power_correct.con.types.xml.gz2004-04-08 01:31 4.3K 
[ ]Is_power_correct.con.xml.gz2004-04-08 01:31 598  
[ ]Is_power_or.con.body.xml.gz2004-04-08 01:31 1.6K 
[ ]Is_power_or.con.proof_tree.xml.gz2004-04-09 18:52 2.8K 
[ ]Is_power_or.con.types.xml.gz2004-04-08 01:31 1.9K 
[ ]Is_power_or.con.xml.gz2004-04-08 01:31 450  
[ ]N_digits.con.body.xml.gz2004-04-08 01:31 572  
[ ]N_digits.con.types.xml.gz2004-04-08 01:31 201  
[ ]N_digits.con.xml.gz2004-04-08 01:31 283  
[ ]ZERO_le_N_digits.con.body.xml.gz2004-04-08 01:31 567  
[ ]ZERO_le_N_digits.con.proof_tree.xml.gz2004-04-09 18:52 1.3K 
[ ]ZERO_le_N_digits.con.types.xml.gz2004-04-08 01:31 839  
[ ]ZERO_le_N_digits.con.xml.gz2004-04-08 01:31 425  
[ ]log_inf.con.body.xml.gz2004-04-08 01:31 706  
[ ]log_inf.con.types.xml.gz2004-04-08 01:31 198  
[ ]log_inf.con.xml.gz2004-04-08 01:31 294  
[ ]log_inf_correct.con.body.xml.gz2004-04-08 01:31 70K 
[ ]log_inf_correct.con.proof_tree.xml.gz2004-04-09 18:52 11K 
[ ]log_inf_correct.con.types.xml.gz2004-04-08 01:31 60K 
[ ]log_inf_correct.con.xml.gz2004-04-08 01:31 656  
[ ]log_inf_correct1.con.body.xml.gz2004-04-08 01:31 753  
[ ]log_inf_correct1.con.types.xml.gz2004-04-08 01:31 759  
[ ]log_inf_correct1.con.xml.gz2004-04-08 01:31 436  
[ ]log_inf_correct2.con.body.xml.gz2004-04-08 01:31 756  
[ ]log_inf_correct2.con.types.xml.gz2004-04-08 01:31 968  
[ ]log_inf_correct2.con.xml.gz2004-04-08 01:31 594  
[ ]log_inf_le_log_sup.con.body.xml.gz2004-04-08 01:31 13K 
[ ]log_inf_le_log_sup.con.proof_tree.xml.gz2004-04-09 18:52 2.0K 
[ ]log_inf_le_log_sup.con.types.xml.gz2004-04-08 01:31 11K 
[ ]log_inf_le_log_sup.con.xml.gz2004-04-08 01:31 440  
[ ]log_inf_shift_nat.con.body.xml.gz2004-04-08 01:31 1.3K 
[ ]log_inf_shift_nat.con.proof_tree.xml.gz2004-04-09 18:52 2.1K 
[ ]log_inf_shift_nat.con.types.xml.gz2004-04-08 01:31 1.5K 
[ ]log_inf_shift_nat.con.xml.gz2004-04-08 01:31 513  
[ ]log_near.con.body.xml.gz2004-04-08 01:31 1.0K 
[ ]log_near.con.types.xml.gz2004-04-08 01:31 200  
[ ]log_near.con.xml.gz2004-04-08 01:31 297  
[ ]log_near_correct1.con.body.xml.gz2004-04-08 01:31 4.8K 
[ ]log_near_correct1.con.proof_tree.xml.gz2004-04-09 18:52 13K 
[ ]log_near_correct1.con.types.xml.gz2004-04-08 01:31 11K 
[ ]log_near_correct1.con.xml.gz2004-04-08 01:31 437  
[ ]log_near_correct2.con.body.xml.gz2004-04-08 01:31 44K 
[ ]log_near_correct2.con.proof_tree.xml.gz2004-04-09 18:52 9.0K 
[ ]log_near_correct2.con.types.xml.gz2004-04-08 01:31 55K 
[ ]log_near_correct2.con.xml.gz2004-04-08 01:31 527  
[ ]log_near_correct2_subproof.con.body.xml.gz2004-04-08 01:31 9.3K 
[ ]log_near_correct2_subproof.con.proof_tree.xml.gz2004-04-09 18:52 523  
[ ]log_near_correct2_subproof.con.types.xml.gz2004-04-08 01:31 7.9K 
[ ]log_near_correct2_subproof.con.xml.gz2004-04-08 01:31 893  
[ ]log_sup.con.body.xml.gz2004-04-08 01:31 741  
[ ]log_sup.con.types.xml.gz2004-04-08 01:31 199  
[ ]log_sup.con.xml.gz2004-04-08 01:31 297  
[ ]log_sup_correct1.con.body.xml.gz2004-04-08 01:31 854  
[ ]log_sup_correct1.con.proof_tree.xml.gz2004-04-09 18:52 1.7K 
[ ]log_sup_correct1.con.types.xml.gz2004-04-08 01:31 1.1K 
[ ]log_sup_correct1.con.xml.gz2004-04-08 01:31 437  
[ ]log_sup_correct2.con.body.xml.gz2004-04-08 01:31 26K 
[ ]log_sup_correct2.con.proof_tree.xml.gz2004-04-09 18:52 3.8K 
[ ]log_sup_correct2.con.types.xml.gz2004-04-08 01:31 20K 
[ ]log_sup_correct2.con.xml.gz2004-04-08 01:31 596  
[ ]log_sup_le_Slog_inf.con.body.xml.gz2004-04-08 01:31 15K 
[ ]log_sup_le_Slog_inf.con.proof_tree.xml.gz2004-04-09 18:52 2.1K 
[ ]log_sup_le_Slog_inf.con.types.xml.gz2004-04-08 01:31 13K 
[ ]log_sup_le_Slog_inf.con.xml.gz2004-04-08 01:31 467  
[ ]log_sup_log_inf.con.body.xml.gz2004-04-08 01:31 67K 
[ ]log_sup_log_inf.con.proof_tree.xml.gz2004-04-09 18:52 15K 
[ ]log_sup_log_inf.con.types.xml.gz2004-04-08 01:31 63K 
[ ]log_sup_log_inf.con.xml.gz2004-04-08 01:31 649  
[ ]log_sup_shift_nat.con.body.xml.gz2004-04-08 01:31 1.3K 
[ ]log_sup_shift_nat.con.proof_tree.xml.gz2004-04-09 18:52 2.1K 
[ ]log_sup_shift_nat.con.types.xml.gz2004-04-08 01:31 1.5K 
[ ]log_sup_shift_nat.con.xml.gz2004-04-08 01:31 514  
Apache/2.4.57 (Debian) Server at mowgli.cs.unibo.it Port 80