Index of /xml/Coq/Sets/Finite_sets_facts

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[DIR]Finite_sets_facts/2005-07-05 08:13 -  
[ ]Singleton_is_finite.con.xml.gz2004-04-08 01:32 475  
[ ]cardinal_Empty.con.xml.gz2004-04-08 01:32 543  
[ ]cardinal_finite.con.xml.gz2004-04-08 01:32 555  
[ ]Add_preserves_Finite.con.xml.gz2004-04-08 01:32 580  
[ ]Finite_downward_closed.con.xml.gz2004-04-08 01:32 590  
[ ]Intersection_preserves_finite.con.xml.gz2004-04-08 01:32 595  
[ ]cardinalO_empty.con.xml.gz2004-04-08 01:32 600  
[ ]cardinalO_empty.con.body.xml.gz2004-04-08 01:32 601  
[ ]Union_preserves_Finite.con.xml.gz2004-04-08 01:32 618  
[ ]inh_card_gt_O.con.xml.gz2004-04-08 01:32 623  
[ ]cardinal_unicity.con.xml.gz2004-04-08 01:32 625  
[ ]finite_cardinal.con.xml.gz2004-04-08 01:32 638  
[ ]incl_card_le.con.xml.gz2004-04-08 01:32 697  
[ ]card_soustr_1.con.xml.gz2004-04-08 01:32 713  
[ ]incl_st_card_lt.con.xml.gz2004-04-08 01:32 715  
[ ]card_Add_gen.con.xml.gz2004-04-08 01:32 719  
[ ]cardinal_is_functional.con.xml.gz2004-04-08 01:32 724  
[ ]Intersection_preserves_finite.con.body.xml.gz2004-04-08 01:32 732  
[ ]cardinal_unicity.con.types.xml.gz2004-04-08 01:32 763  
[ ]Intersection_preserves_finite.con.types.xml.gz2004-04-08 01:32 769  
[ ]cardinal_unicity.con.body.xml.gz2004-04-08 01:32 782  
[ ]G_aux.con.xml.gz2004-04-08 01:32 792  
[ ]cardinal_finite.con.proof_tree.xml.gz2004-04-09 18:52 851  
[ ]Generalized_induction_on_finite_sets.con.xml.gz2004-04-08 01:32 899  
[ ]Singleton_is_finite.con.body.xml.gz2004-04-08 01:32 907  
[ ]inh_card_gt_O.con.proof_tree.xml.gz2004-04-09 18:52 924  
[ ]Singleton_is_finite.con.types.xml.gz2004-04-08 01:32 930  
[ ]finite_cardinal.con.proof_tree.xml.gz2004-04-09 18:52 952  
[ ]cardinal_finite.con.types.xml.gz2004-04-08 01:32 1.0K 
[ ]cardinal_finite.con.body.xml.gz2004-04-08 01:32 1.1K 
[ ]INDEX2005-07-05 08:11 1.1K 
[ ]Add_preserves_Finite.con.types.xml.gz2004-04-08 01:32 1.2K 
[ ]Singleton_is_finite.con.proof_tree.xml.gz2004-04-09 18:52 1.2K 
[ ]cardinalO_empty.con.proof_tree.xml.gz2004-04-09 18:52 1.2K 
[ ]cardinal_unicity.con.proof_tree.xml.gz2004-04-09 18:52 1.3K 
[ ]Intersection_preserves_finite.con.proof_tree.xml.gz2004-04-09 18:52 1.3K 
[ ]Add_preserves_Finite.con.body.xml.gz2004-04-08 01:32 1.3K 
[ ]cardinalO_empty.con.types.xml.gz2004-04-08 01:32 1.4K 
[ ]Add_preserves_Finite.con.proof_tree.xml.gz2004-04-09 18:52 1.7K 
[ ]G_aux.con.body.xml.gz2004-04-08 01:32 1.7K 
[ ]incl_card_le.con.types.xml.gz2004-04-08 01:32 1.8K 
[ ]G_aux.con.types.xml.gz2004-04-08 01:32 1.8K 
[ ]inh_card_gt_O.con.types.xml.gz2004-04-08 01:32 1.8K 
[ ]finite_cardinal.con.body.xml.gz2004-04-08 01:32 1.9K 
[ ]incl_card_le.con.body.xml.gz2004-04-08 01:32 2.1K 
[ ]inh_card_gt_O.con.body.xml.gz2004-04-08 01:32 2.2K 
[ ]finite_cardinal.con.types.xml.gz2004-04-08 01:32 2.2K 
[ ]Union_preserves_Finite.con.types.xml.gz2004-04-08 01:32 2.3K 
[ ]card_Add_gen.con.types.xml.gz2004-04-08 01:32 2.5K 
[ ]card_Add_gen.con.body.xml.gz2004-04-08 01:32 2.6K 
[ ]Union_preserves_Finite.con.body.xml.gz2004-04-08 01:32 2.7K 
[ ]Finite_downward_closed.con.types.xml.gz2004-04-08 01:32 2.9K 
[ ]Union_preserves_Finite.con.proof_tree.xml.gz2004-04-09 18:52 3.0K 
[ ]incl_card_le.con.proof_tree.xml.gz2004-04-09 18:52 3.2K 
[ ]G_aux.con.proof_tree.xml.gz2004-04-09 18:52 3.3K 
[ ]card_Add_gen.con.proof_tree.xml.gz2004-04-09 18:52 3.4K 
[ ]Finite_downward_closed.con.body.xml.gz2004-04-08 01:32 3.5K 
[ ]Finite_downward_closed.con.proof_tree.xml.gz2004-04-09 18:52 4.0K 
[ ]cardinal_Empty.con.body.xml.gz2004-04-08 01:32 4.7K 
[ ]cardinal_Empty.con.types.xml.gz2004-04-08 01:32 5.8K 
[ ]cardinal_Empty.con.proof_tree.xml.gz2004-04-09 18:52 7.4K 
[ ]incl_st_card_lt.con.types.xml.gz2004-04-08 01:32 8.0K 
[ ]incl_st_card_lt.con.body.xml.gz2004-04-08 01:32 8.4K 
[ ]card_soustr_1.con.body.xml.gz2004-04-08 01:32 9.0K 
[ ]cardinal_is_functional.con.types.xml.gz2004-04-08 01:32 9.1K 
[ ]cardinal_is_functional.con.body.xml.gz2004-04-08 01:32 9.7K 
[ ]card_soustr_1.con.types.xml.gz2004-04-08 01:32 10K 
[ ]Generalized_induction_on_finite_sets.con.types.xml.gz2004-04-08 01:32 10K 
[ ]Generalized_induction_on_finite_sets.con.body.xml.gz2004-04-08 01:32 11K 
[ ]card_soustr_1.con.proof_tree.xml.gz2004-04-09 18:52 12K 
[ ]incl_st_card_lt.con.proof_tree.xml.gz2004-04-09 18:52 14K 
[ ]cardinal_is_functional.con.proof_tree.xml.gz2004-04-09 18:52 16K 
[ ]Generalized_induction_on_finite_sets.con.proof_tree.xml.gz2004-04-09 18:52 17K 
Apache/2.4.61 (Debian) Server at mowgli.cs.unibo.it Port 80