Index of /xml/Coq/Init/Logic

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[DIR]Conjunction/2005-07-05 08:12 -  
[DIR]Logic_lemmas/2005-07-05 08:12 -  
[DIR]universal_quantification/2005-07-05 08:12 -  
[ ]eq.ind.types.xml.gz2004-04-08 01:27 183  
[ ]ex.ind.types.xml.gz2004-04-08 01:27 183  
[ ]or.ind.types.xml.gz2004-04-08 01:27 183  
[ ]and.ind.types.xml.gz2004-04-08 01:27 185  
[ ]ex2.ind.types.xml.gz2004-04-08 01:27 185  
[ ]iff.con.types.xml.gz2004-04-08 01:27 185  
[ ]not.con.types.xml.gz2004-04-08 01:27 185  
[ ]all.con.types.xml.gz2004-04-08 01:27 186  
[ ]True.ind.types.xml.gz2004-04-08 01:27 187  
[ ]False.ind.types.xml.gz2004-04-08 01:27 189  
[ ]eq_rec.con.types.xml.gz2004-04-08 01:27 192  
[ ]and_rec.con.types.xml.gz2004-04-08 01:27 193  
[ ]eq_rect.con.types.xml.gz2004-04-08 01:27 194  
[ ]True_rec.con.types.xml.gz2004-04-08 01:27 195  
[ ]and_rect.con.types.xml.gz2004-04-08 01:27 195  
[ ]True_rect.con.types.xml.gz2004-04-08 01:27 197  
[ ]False_rec.con.types.xml.gz2004-04-08 01:27 198  
[ ]sym_equal.con.types.xml.gz2004-04-08 01:27 198  
[ ]False_rect.con.types.xml.gz2004-04-08 01:27 199  
[ ]trans_equal.con.types.xml.gz2004-04-08 01:27 201  
[ ]IF_then_else.con.types.xml.gz2004-04-08 01:27 202  
[ ]sym_not_equal.con.types.xml.gz2004-04-08 01:27 204  
[ ]not.con.xml.gz2004-04-08 01:27 247  
[ ]False.ind.xml.gz2004-04-08 01:27 248  
[ ]iff.con.xml.gz2004-04-08 01:27 257  
[ ]sym_equal.con.body.xml.gz2004-04-08 01:27 270  
[ ]sym_not_equal.con.body.xml.gz2004-04-08 01:27 277  
[ ]trans_equal.con.body.xml.gz2004-04-08 01:27 278  
[ ]IF_then_else.con.xml.gz2004-04-08 01:27 281  
[ ]True.ind.xml.gz2004-04-08 01:27 297  
[ ]all.con.xml.gz2004-04-08 01:27 314  
[ ]False_ind.con.xml.gz2004-04-08 01:27 331  
[ ]False_rec.con.xml.gz2004-04-08 01:27 335  
[ ]False_rect.con.xml.gz2004-04-08 01:27 336  
[ ]True_ind.con.xml.gz2004-04-08 01:27 342  
[ ]iff_refl.con.xml.gz2004-04-08 01:27 343  
[ ]eq_rec_r.con.types.xml.gz2004-04-08 01:27 344  
[ ]eq_rect_r.con.types.xml.gz2004-04-08 01:27 346  
[ ]proj1.con.xml.gz2004-04-08 01:27 346  
[ ]proj2.con.xml.gz2004-04-08 01:27 346  
[ ]True_rect.con.xml.gz2004-04-08 01:27 347  
[ ]True_rec.con.body.xml.gz2004-04-08 01:27 348  
[ ]True_rec.con.xml.gz2004-04-08 01:27 348  
[ ]False_rec.con.body.xml.gz2004-04-08 01:27 350  
[ ]True_ind.con.body.xml.gz2004-04-08 01:27 350  
[ ]False_ind.con.body.xml.gz2004-04-08 01:27 352  
[ ]not.con.body.xml.gz2004-04-08 01:27 358  
[ ]absurd.con.xml.gz2004-04-08 01:27 378  
[ ]False_ind.con.types.xml.gz2004-04-08 01:27 381  
[ ]sym_eq.con.xml.gz2004-04-08 01:27 387  
[ ]sym_equal.con.xml.gz2004-04-08 01:27 387  
[ ]iff_sym.con.xml.gz2004-04-08 01:27 393  
[ ]and_ind.con.body.xml.gz2004-04-08 01:27 394  
[ ]and_rec.con.body.xml.gz2004-04-08 01:27 397  
[ ]True_ind.con.types.xml.gz2004-04-08 01:27 403  
[ ]all.con.body.xml.gz2004-04-08 01:27 408  
[ ]False_rect.con.body.xml.gz2004-04-08 01:27 410  
[ ]proj1.con.types.xml.gz2004-04-08 01:27 415  
[ ]proj2.con.types.xml.gz2004-04-08 01:27 415  
[ ]trans_eq.con.xml.gz2004-04-08 01:27 421  
[ ]trans_equal.con.xml.gz2004-04-08 01:27 425  
[ ]iff.con.body.xml.gz2004-04-08 01:27 428  
[ ]f_equal.con.xml.gz2004-04-08 01:27 429  
[ ]sym_not_eq.con.xml.gz2004-04-08 01:27 435  
[ ]sym_not_equal.con.xml.gz2004-04-08 01:27 436  
[ ]True_rect.con.body.xml.gz2004-04-08 01:27 442  
[ ]eq_rec.con.body.xml.gz2004-04-08 01:27 442  
[ ]and_ind.con.xml.gz2004-04-08 01:27 443  
[ ]iff_trans.con.xml.gz2004-04-08 01:27 444  
[ ]eq_ind.con.body.xml.gz2004-04-08 01:27 445  
[ ]inst.con.body.xml.gz2004-04-08 01:27 451  
[ ]and_rect.con.xml.gz2004-04-08 01:27 452  
[ ]and_rec.con.xml.gz2004-04-08 01:27 454  
[ ]sym_eq.con.types.xml.gz2004-04-08 01:27 459  
[ ]or_ind.con.xml.gz2004-04-08 01:27 462  
[ ]inst.con.xml.gz2004-04-08 01:27 468  
[ ]trans_eq.con.types.xml.gz2004-04-08 01:27 468  
[ ]gen.con.xml.gz2004-04-08 01:27 470  
[ ]IF_then_else.con.body.xml.gz2004-04-08 01:27 474  
[ ]iff_refl.con.body.xml.gz2004-04-08 01:27 480  
[ ]and.ind.xml.gz2004-04-08 01:27 481  
[ ]eq.ind.xml.gz2004-04-08 01:27 483  
[ ]eq_rec.con.xml.gz2004-04-08 01:27 500  
[ ]eq_rec_r.con.xml.gz2004-04-08 01:27 503  
[ ]or_ind.con.types.xml.gz2004-04-08 01:27 503  
[ ]eq_ind.con.xml.gz2004-04-08 01:27 504  
[ ]eq_rect.con.xml.gz2004-04-08 01:27 504  
[ ]eq_rect_r.con.xml.gz2004-04-08 01:27 504  
[ ]proj2.con.body.xml.gz2004-04-08 01:27 507  
[ ]ex_ind.con.xml.gz2004-04-08 01:27 508  
[ ]proj1.con.body.xml.gz2004-04-08 01:27 508  
[ ]eq_ind_r.con.xml.gz2004-04-08 01:27 509  
[ ]gen.con.body.xml.gz2004-04-08 01:27 517  
[ ]f_equal.con.types.xml.gz2004-04-08 01:27 534  
[ ]or.ind.xml.gz2004-04-08 01:27 534  
[ ]ex_ind.con.types.xml.gz2004-04-08 01:27 548  
[ ]and_ind.con.types.xml.gz2004-04-08 01:27 551  
[ ]iff_refl.con.types.xml.gz2004-04-08 01:27 551  
[ ]absurd.con.types.xml.gz2004-04-08 01:27 552  
[ ]and_rect.con.body.xml.gz2004-04-08 01:27 554  
[ ]absurd.con.body.xml.gz2004-04-08 01:27 556  
[ ]ex.ind.xml.gz2004-04-08 01:27 559  
[ ]ex2_ind.con.xml.gz2004-04-08 01:27 574  
[ ]or_ind.con.body.xml.gz2004-04-08 01:27 594  
[ ]sym_eq.con.body.xml.gz2004-04-08 01:27 596  
[ ]gen.con.types.xml.gz2004-04-08 01:27 603  
[ ]trans_eq.con.body.xml.gz2004-04-08 01:27 604  
[ ]eq_ind_r.con.types.xml.gz2004-04-08 01:27 614  
[ ]ex2_ind.con.types.xml.gz2004-04-08 01:27 615  
[ ]ex_ind.con.body.xml.gz2004-04-08 01:27 618  
[ ]eq_ind.con.types.xml.gz2004-04-08 01:27 627  
[ ]ex2.ind.xml.gz2004-04-08 01:27 642  
[ ]eq_rect.con.body.xml.gz2004-04-08 01:27 657  
[ ]f_equal.con.body.xml.gz2004-04-08 01:27 658  
[ ]f_equal2.con.xml.gz2004-04-08 01:27 658  
[ ]ex2_ind.con.body.xml.gz2004-04-08 01:27 685  
[ ]inst.con.types.xml.gz2004-04-08 01:27 692  
[ ]proj2.con.proof_tree.xml.gz2004-04-09 18:52 744  
[ ]proj1.con.proof_tree.xml.gz2004-04-09 18:52 746  
[ ]iff_sym.con.body.xml.gz2004-04-08 01:27 749  
[ ]eq_rect_r.con.body.xml.gz2004-04-08 01:27 758  
[ ]iff_refl.con.proof_tree.xml.gz2004-04-09 18:52 760  
[ ]eq_ind_r.con.body.xml.gz2004-04-08 01:27 766  
[ ]eq_rec_r.con.body.xml.gz2004-04-08 01:27 773  
[ ]f_equal3.con.xml.gz2004-04-08 01:27 776  
[ ]iff_sym.con.types.xml.gz2004-04-08 01:27 776  
[ ]iff_sym.con.proof_tree.xml.gz2004-04-09 18:52 833  
[ ]sym_not_eq.con.types.xml.gz2004-04-08 01:27 884  
[ ]sym_not_eq.con.body.xml.gz2004-04-08 01:27 888  
[ ]f_equal4.con.xml.gz2004-04-08 01:27 891  
[ ]sym_eq.con.proof_tree.xml.gz2004-04-09 18:52 966  
[ ]f_equal5.con.xml.gz2004-04-08 01:27 1.0K 
[ ]f_equal2.con.types.xml.gz2004-04-08 01:27 1.0K 
[ ]iff_trans.con.proof_tree.xml.gz2004-04-09 18:52 1.0K 
[ ]f_equal.con.proof_tree.xml.gz2004-04-09 18:52 1.1K 
[ ]trans_eq.con.proof_tree.xml.gz2004-04-09 18:52 1.1K 
[ ]f_equal2.con.body.xml.gz2004-04-08 01:27 1.1K 
[ ]absurd.con.proof_tree.xml.gz2004-04-09 18:52 1.1K 
[ ]iff_trans.con.body.xml.gz2004-04-08 01:27 1.2K 
[ ]gen.con.proof_tree.xml.gz2004-04-09 18:52 1.2K 
[ ]iff_trans.con.types.xml.gz2004-04-08 01:27 1.2K 
[ ]inst.con.proof_tree.xml.gz2004-04-09 18:52 1.2K 
[ ]eq_ind_r.con.proof_tree.xml.gz2004-04-09 18:52 1.3K 
[ ]eq_rect_r.con.proof_tree.xml.gz2004-04-09 18:52 1.4K 
[ ]eq_rec_r.con.proof_tree.xml.gz2004-04-09 18:52 1.4K 
[ ]f_equal3.con.types.xml.gz2004-04-08 01:27 1.5K 
[ ]f_equal3.con.body.xml.gz2004-04-08 01:27 1.6K 
[ ]sym_not_eq.con.proof_tree.xml.gz2004-04-09 18:52 1.7K 
[ ]INDEX2005-07-05 08:10 2.0K 
[ ]f_equal2.con.proof_tree.xml.gz2004-04-09 18:52 2.0K 
[ ]f_equal4.con.types.xml.gz2004-04-08 01:27 2.1K 
[ ]f_equal4.con.body.xml.gz2004-04-08 01:27 2.2K 
[ ]f_equal3.con.proof_tree.xml.gz2004-04-09 18:52 2.7K 
[ ]f_equal5.con.types.xml.gz2004-04-08 01:27 2.8K 
[ ]f_equal5.con.body.xml.gz2004-04-08 01:27 2.9K 
[ ]f_equal4.con.proof_tree.xml.gz2004-04-09 18:52 3.4K 
[ ]f_equal5.con.proof_tree.xml.gz2004-04-09 18:52 4.3K 
Apache/2.4.61 (Debian) Server at mowgli.cs.unibo.it Port 80