Index of /xml/Coq/Logic/ClassicalFacts

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]BoolP.con.body.xml.gz2004-04-08 01:27 334  
[ ]BoolP.con.types.xml.gz2004-04-08 01:27 198  
[ ]BoolP.con.xml.gz2004-04-08 01:27 201  
[ ]BoolP_dep_induction.con.body.xml.gz2004-04-08 01:27 482  
[ ]BoolP_dep_induction.con.types.xml.gz2004-04-08 01:27 223  
[ ]BoolP_dep_induction.con.xml.gz2004-04-08 01:27 226  
[ ]BoolP_elim.con.body.xml.gz2004-04-08 01:27 441  
[ ]BoolP_elim.con.types.xml.gz2004-04-08 01:27 476  
[ ]BoolP_elim.con.xml.gz2004-04-08 01:27 360  
[ ]BoolP_elim_redl.con.body.xml.gz2004-04-08 01:27 451  
[ ]BoolP_elim_redl.con.types.xml.gz2004-04-08 01:27 655  
[ ]BoolP_elim_redl.con.xml.gz2004-04-08 01:27 493  
[ ]BoolP_elim_redr.con.body.xml.gz2004-04-08 01:27 451  
[ ]BoolP_elim_redr.con.types.xml.gz2004-04-08 01:27 657  
[ ]BoolP_elim_redr.con.xml.gz2004-04-08 01:27 496  
[ ]F.con.body.xml.gz2004-04-08 01:27 798  
[ ]F.con.types.xml.gz2004-04-08 01:27 739  
[ ]F.con.xml.gz2004-04-08 01:27 403  
[ ]FalseP.con.body.xml.gz2004-04-08 01:27 354  
[ ]FalseP.con.types.xml.gz2004-04-08 01:27 385  
[ ]FalseP.con.xml.gz2004-04-08 01:27 235  
[ ]Fix.con.body.xml.gz2004-04-08 01:27 932  
[ ]Fix.con.types.xml.gz2004-04-08 01:27 1.4K 
[ ]Fix.con.xml.gz2004-04-08 01:27 550  
[ ]INDEX2005-07-05 08:11 2.1K 
[DIR]Proof_irrelevance_gen/2005-07-05 08:12 -  
[ ]TrueP.con.body.xml.gz2004-04-08 01:27 353  
[ ]TrueP.con.types.xml.gz2004-04-08 01:27 384  
[ ]TrueP.con.xml.gz2004-04-08 01:27 235  
[ ]aux.con.body.xml.gz2004-04-08 01:27 2.3K 
[ ]aux.con.proof_tree.xml.gz2004-04-09 18:52 3.1K 
[ ]aux.con.types.xml.gz2004-04-08 01:27 2.2K 
[ ]aux.con.xml.gz2004-04-08 01:27 457  
[ ]boolP.ind.types.xml.gz2004-04-08 01:27 196  
[ ]boolP.ind.xml.gz2004-04-08 01:27 323  
[ ]boolP_elim_redl.con.body.xml.gz2004-04-08 01:27 452  
[ ]boolP_elim_redl.con.types.xml.gz2004-04-08 01:27 670  
[ ]boolP_elim_redl.con.xml.gz2004-04-08 01:27 506  
[ ]boolP_elim_redr.con.body.xml.gz2004-04-08 01:27 451  
[ ]boolP_elim_redr.con.types.xml.gz2004-04-08 01:27 671  
[ ]boolP_elim_redr.con.xml.gz2004-04-08 01:27 507  
[ ]boolP_ind.con.body.xml.gz2004-04-08 01:27 487  
[ ]boolP_ind.con.types.xml.gz2004-04-08 01:27 405  
[ ]boolP_ind.con.xml.gz2004-04-08 01:27 363  
[ ]boolP_indd.con.body.xml.gz2004-04-08 01:27 648  
[ ]boolP_indd.con.types.xml.gz2004-04-08 01:27 547  
[ ]boolP_indd.con.xml.gz2004-04-08 01:27 478  
[ ]excluded_middle.con.body.xml.gz2004-04-08 01:27 411  
[ ]excluded_middle.con.types.xml.gz2004-04-08 01:27 215  
[ ]excluded_middle.con.xml.gz2004-04-08 01:27 219  
[ ]ext_prop_dep_proof_irrel_cc.con.body.xml.gz2004-04-08 01:27 421  
[ ]ext_prop_dep_proof_irrel_cc.con.proof_tree.xml.gz2004-04-09 18:52 587  
[ ]ext_prop_dep_proof_irrel_cc.con.types.xml.gz2004-04-08 01:27 632  
[ ]ext_prop_dep_proof_irrel_cc.con.xml.gz2004-04-08 01:27 363  
[ ]ext_prop_dep_proof_irrel_cic.con.body.xml.gz2004-04-08 01:27 579  
[ ]ext_prop_dep_proof_irrel_cic.con.proof_tree.xml.gz2004-04-09 18:52 567  
[ ]ext_prop_dep_proof_irrel_cic.con.types.xml.gz2004-04-08 01:27 380  
[ ]ext_prop_dep_proof_irrel_cic.con.xml.gz2004-04-08 01:27 338  
[ ]ext_prop_dep_proof_irrel_gen.con.body.xml.gz2004-04-08 01:27 1.3K 
[ ]ext_prop_dep_proof_irrel_gen.con.proof_tree.xml.gz2004-04-09 18:52 1.5K 
[ ]ext_prop_dep_proof_irrel_gen.con.types.xml.gz2004-04-08 01:27 1.2K 
[ ]ext_prop_dep_proof_irrel_gen.con.xml.gz2004-04-08 01:27 415  
[ ]ext_prop_fixpoint.con.body.xml.gz2004-04-08 01:27 2.2K 
[ ]ext_prop_fixpoint.con.proof_tree.xml.gz2004-04-09 18:52 4.2K 
[ ]ext_prop_fixpoint.con.types.xml.gz2004-04-08 01:27 2.8K 
[ ]ext_prop_fixpoint.con.xml.gz2004-04-08 01:27 441  
[ ]f1.con.body.xml.gz2004-04-08 01:27 804  
[ ]f1.con.types.xml.gz2004-04-08 01:27 700  
[ ]f1.con.xml.gz2004-04-08 01:27 399  
[ ]f1_o_f2.con.body.xml.gz2004-04-08 01:27 966  
[ ]f1_o_f2.con.types.xml.gz2004-04-08 01:27 1.4K 
[ ]f1_o_f2.con.xml.gz2004-04-08 01:27 558  
[ ]f2.con.body.xml.gz2004-04-08 01:27 800  
[ ]f2.con.types.xml.gz2004-04-08 01:27 705  
[ ]f2.con.xml.gz2004-04-08 01:27 400  
[ ]has_fixpoint.ind.types.xml.gz2004-04-08 01:27 304  
[ ]has_fixpoint.ind.xml.gz2004-04-08 01:27 666  
[ ]has_fixpoint_ind.con.body.xml.gz2004-04-08 01:27 400  
[ ]has_fixpoint_ind.con.types.xml.gz2004-04-08 01:27 870  
[ ]has_fixpoint_ind.con.xml.gz2004-04-08 01:27 646  
[ ]has_fixpoint_rec.con.body.xml.gz2004-04-08 01:27 406  
[ ]has_fixpoint_rec.con.types.xml.gz2004-04-08 01:27 313  
[ ]has_fixpoint_rec.con.xml.gz2004-04-08 01:27 659  
[ ]has_fixpoint_rect.con.body.xml.gz2004-04-08 01:27 759  
[ ]has_fixpoint_rect.con.types.xml.gz2004-04-08 01:27 346  
[ ]has_fixpoint_rect.con.xml.gz2004-04-08 01:27 650  
[ ]inhabited.con.body.xml.gz2004-04-08 01:27 315  
[ ]inhabited.con.types.xml.gz2004-04-08 01:27 204  
[ ]inhabited.con.xml.gz2004-04-08 01:27 256  
[ ]proof_irrelevance.con.body.xml.gz2004-04-08 01:27 443  
[ ]proof_irrelevance.con.types.xml.gz2004-04-08 01:27 219  
[ ]proof_irrelevance.con.xml.gz2004-04-08 01:27 223  
[ ]prop_degen_em.con.body.xml.gz2004-04-08 01:27 1.0K 
[ ]prop_degen_em.con.proof_tree.xml.gz2004-04-09 18:52 1.2K 
[ ]prop_degen_em.con.types.xml.gz2004-04-08 01:27 1.1K 
[ ]prop_degen_em.con.xml.gz2004-04-08 01:27 316  
[ ]prop_degen_ext.con.body.xml.gz2004-04-08 01:27 2.7K 
[ ]prop_degen_ext.con.proof_tree.xml.gz2004-04-09 18:52 2.0K 
[ ]prop_degen_ext.con.types.xml.gz2004-04-08 01:27 2.5K 
[ ]prop_degen_ext.con.xml.gz2004-04-08 01:27 315  
[ ]prop_degeneracy.con.body.xml.gz2004-04-08 01:27 445  
[ ]prop_degeneracy.con.types.xml.gz2004-04-08 01:27 215  
[ ]prop_degeneracy.con.xml.gz2004-04-08 01:27 218  
[ ]prop_ext_A_eq_A_imp_A.con.body.xml.gz2004-04-08 01:27 732  
[ ]prop_ext_A_eq_A_imp_A.con.proof_tree.xml.gz2004-04-09 18:52 1.6K 
[ ]prop_ext_A_eq_A_imp_A.con.types.xml.gz2004-04-08 01:27 1.0K 
[ ]prop_ext_A_eq_A_imp_A.con.xml.gz2004-04-08 01:27 497  
[ ]prop_ext_em_degen.con.body.xml.gz2004-04-08 01:27 1.3K 
[ ]prop_ext_em_degen.con.proof_tree.xml.gz2004-04-09 18:52 1.9K 
[ ]prop_ext_em_degen.con.types.xml.gz2004-04-08 01:27 1.7K 
[ ]prop_ext_em_degen.con.xml.gz2004-04-08 01:27 345  
[ ]prop_ext_retract_A_A_imp_A.con.body.xml.gz2004-04-08 01:27 831  
[ ]prop_ext_retract_A_A_imp_A.con.proof_tree.xml.gz2004-04-09 18:52 1.2K 
[ ]prop_ext_retract_A_A_imp_A.con.types.xml.gz2004-04-08 01:27 815  
[ ]prop_ext_retract_A_A_imp_A.con.xml.gz2004-04-08 01:27 487  
[ ]prop_extensionality.con.body.xml.gz2004-04-08 01:27 454  
[ ]prop_extensionality.con.types.xml.gz2004-04-08 01:27 222  
[ ]prop_extensionality.con.xml.gz2004-04-08 01:27 226  
[ ]retract.ind.types.xml.gz2004-04-08 01:27 291  
[ ]retract.ind.xml.gz2004-04-08 01:27 676  
[ ]retract_ind.con.body.xml.gz2004-04-08 01:27 412  
[ ]retract_ind.con.types.xml.gz2004-04-08 01:27 897  
[ ]retract_ind.con.xml.gz2004-04-08 01:27 650  
[ ]retract_rec.con.body.xml.gz2004-04-08 01:27 417  
[ ]retract_rec.con.types.xml.gz2004-04-08 01:27 304  
[ ]retract_rec.con.xml.gz2004-04-08 01:27 664  
[ ]retract_rect.con.body.xml.gz2004-04-08 01:27 763  
[ ]retract_rect.con.types.xml.gz2004-04-08 01:27 331  
[ ]retract_rect.con.xml.gz2004-04-08 01:27 661  
Apache/2.4.57 (Debian) Server at mowgli.cs.unibo.it Port 80