Index of /xml/Coq/Sets/Constructive_sets

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[DIR]Ensembles_facts/2005-07-05 08:13 -  
[ ]Included_Empty.con.xml.gz2004-04-08 01:32 484  
[ ]Noone_in_empty.con.xml.gz2004-04-08 01:32 490  
[ ]Strict_Included_strict.con.xml.gz2004-04-08 01:32 493  
[ ]Add_intro2.con.xml.gz2004-04-08 01:32 516  
[ ]Inhabited_add.con.xml.gz2004-04-08 01:32 531  
[ ]Add_not_Empty.con.body.xml.gz2004-04-08 01:32 549  
[ ]Singleton_inv.con.xml.gz2004-04-08 01:32 553  
[ ]Singleton_intro.con.xml.gz2004-04-08 01:32 559  
[ ]Extension.con.xml.gz2004-04-08 01:32 565  
[ ]Add_intro1.con.xml.gz2004-04-08 01:32 580  
[ ]Inhabited_add.con.body.xml.gz2004-04-08 01:32 599  
[ ]Inhabited_not_empty.con.xml.gz2004-04-08 01:32 600  
[ ]not_Empty_Add.con.xml.gz2004-04-08 01:32 603  
[ ]Add_intro2.con.body.xml.gz2004-04-08 01:32 605  
[ ]Add_not_Empty.con.xml.gz2004-04-08 01:32 607  
[ ]Noone_in_empty.con.body.xml.gz2004-04-08 01:32 607  
[ ]Couple_inv.con.xml.gz2004-04-08 01:32 631  
[ ]Add_intro1.con.body.xml.gz2004-04-08 01:32 654  
[ ]Add_inv.con.xml.gz2004-04-08 01:32 662  
[ ]Strict_Included_intro.con.body.xml.gz2004-04-08 01:32 663  
[ ]Included_Empty.con.body.xml.gz2004-04-08 01:32 665  
[ ]Setminus_intro.con.xml.gz2004-04-08 01:32 670  
[ ]Union_inv.con.xml.gz2004-04-08 01:32 670  
[ ]Intersection_inv.con.xml.gz2004-04-08 01:32 681  
[ ]Strict_Included_intro.con.xml.gz2004-04-08 01:32 686  
[ ]Inhabited_add.con.types.xml.gz2004-04-08 01:32 694  
[ ]Singleton_intro.con.types.xml.gz2004-04-08 01:32 720  
[ ]Singleton_inv.con.body.xml.gz2004-04-08 01:32 735  
[ ]Singleton_intro.con.body.xml.gz2004-04-08 01:32 741  
[ ]Included_Empty.con.types.xml.gz2004-04-08 01:32 779  
[ ]Singleton_inv.con.types.xml.gz2004-04-08 01:32 781  
[ ]Setminus_intro.con.body.xml.gz2004-04-08 01:32 783  
[ ]Add_intro2.con.types.xml.gz2004-04-08 01:32 798  
[ ]Noone_in_empty.con.types.xml.gz2004-04-08 01:32 806  
[ ]Add_intro1.con.types.xml.gz2004-04-08 01:32 815  
[ ]Add_not_Empty.con.types.xml.gz2004-04-08 01:32 822  
[ ]Strict_Included_intro.con.types.xml.gz2004-04-08 01:32 891  
[ ]Setminus_intro.con.types.xml.gz2004-04-08 01:32 902  
[ ]Strict_Included_strict.con.body.xml.gz2004-04-08 01:32 1.0K 
[ ]Couple_inv.con.body.xml.gz2004-04-08 01:32 1.0K 
[ ]Extension.con.body.xml.gz2004-04-08 01:32 1.0K 
[ ]Extension.con.types.xml.gz2004-04-08 01:32 1.0K 
[ ]INDEX2005-07-05 08:11 1.0K 
[ ]Singleton_inv.con.proof_tree.xml.gz2004-04-09 18:52 1.0K 
[ ]Singleton_intro.con.proof_tree.xml.gz2004-04-09 18:52 1.0K 
[ ]not_Empty_Add.con.body.xml.gz2004-04-08 01:32 1.0K 
[ ]Couple_inv.con.types.xml.gz2004-04-08 01:32 1.0K 
[ ]Intersection_inv.con.body.xml.gz2004-04-08 01:32 1.1K 
[ ]Extension.con.proof_tree.xml.gz2004-04-09 18:52 1.1K 
[ ]Add_not_Empty.con.proof_tree.xml.gz2004-04-09 18:52 1.1K 
[ ]Noone_in_empty.con.proof_tree.xml.gz2004-04-09 18:52 1.1K 
[ ]Strict_Included_strict.con.types.xml.gz2004-04-08 01:32 1.1K 
[ ]Union_inv.con.body.xml.gz2004-04-08 01:32 1.2K 
[ ]Intersection_inv.con.types.xml.gz2004-04-08 01:32 1.2K 
[ ]Add_intro2.con.proof_tree.xml.gz2004-04-09 18:52 1.2K 
[ ]Add_inv.con.body.xml.gz2004-04-08 01:32 1.3K 
[ ]Strict_Included_intro.con.proof_tree.xml.gz2004-04-09 18:52 1.3K 
[ ]Inhabited_add.con.proof_tree.xml.gz2004-04-09 18:52 1.3K 
[ ]Union_inv.con.types.xml.gz2004-04-08 01:32 1.3K 
[ ]Couple_inv.con.proof_tree.xml.gz2004-04-09 18:52 1.4K 
[ ]not_Empty_Add.con.types.xml.gz2004-04-08 01:32 1.4K 
[ ]Inhabited_not_empty.con.types.xml.gz2004-04-08 01:32 1.4K 
[ ]Add_intro1.con.proof_tree.xml.gz2004-04-09 18:52 1.4K 
[ ]Add_inv.con.types.xml.gz2004-04-08 01:32 1.4K 
[ ]Inhabited_not_empty.con.body.xml.gz2004-04-08 01:32 1.5K 
[ ]Included_Empty.con.proof_tree.xml.gz2004-04-09 18:52 1.5K 
[ ]Intersection_inv.con.proof_tree.xml.gz2004-04-09 18:52 1.6K 
[ ]Union_inv.con.proof_tree.xml.gz2004-04-09 18:52 1.6K 
[ ]Add_inv.con.proof_tree.xml.gz2004-04-09 18:52 1.7K 
[ ]Strict_Included_strict.con.proof_tree.xml.gz2004-04-09 18:52 1.8K 
[ ]not_Empty_Add.con.proof_tree.xml.gz2004-04-09 18:52 2.1K 
[ ]Inhabited_not_empty.con.proof_tree.xml.gz2004-04-09 18:52 2.1K 
[ ]Setminus_intro.con.proof_tree.xml.gz2004-04-09 18:52 2.3K 
Apache/2.4.61 (Debian) Server at mowgli.cs.unibo.it Port 80