Index of /xml/Coq/Sets/Powerset

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]Empty_set_is_Bottom.con.body.xml.gz2004-04-08 01:32 885  
[ ]Empty_set_is_Bottom.con.proof_tree.xml.gz2004-04-09 18:52 2.2K 
[ ]Empty_set_is_Bottom.con.types.xml.gz2004-04-08 01:32 1.7K 
[ ]Empty_set_is_Bottom.con.xml.gz2004-04-08 01:32 576  
[ ]Empty_set_minimal.con.body.xml.gz2004-04-08 01:32 688  
[ ]Empty_set_minimal.con.proof_tree.xml.gz2004-04-09 18:52 1.4K 
[ ]Empty_set_minimal.con.types.xml.gz2004-04-08 01:32 833  
[ ]Empty_set_minimal.con.xml.gz2004-04-08 01:32 500  
[ ]INDEX2005-07-05 08:11 1.4K 
[ ]Inclusion_is_an_order.con.body.xml.gz2004-04-08 01:32 1.2K 
[ ]Inclusion_is_an_order.con.proof_tree.xml.gz2004-04-09 18:52 752  
[ ]Inclusion_is_an_order.con.types.xml.gz2004-04-08 01:32 2.0K 
[ ]Inclusion_is_an_order.con.xml.gz2004-04-08 01:32 416  
[ ]Inclusion_is_transitive.con.body.xml.gz2004-04-08 01:32 799  
[ ]Inclusion_is_transitive.con.proof_tree.xml.gz2004-04-09 18:52 1.2K 
[ ]Inclusion_is_transitive.con.types.xml.gz2004-04-08 01:32 722  
[ ]Inclusion_is_transitive.con.xml.gz2004-04-08 01:32 408  
[ ]Intersection_decreases_l.con.body.xml.gz2004-04-08 01:32 923  
[ ]Intersection_decreases_l.con.proof_tree.xml.gz2004-04-09 18:52 1.8K 
[ ]Intersection_decreases_l.con.types.xml.gz2004-04-08 01:32 1.1K 
[ ]Intersection_decreases_l.con.xml.gz2004-04-08 01:32 574  
[ ]Intersection_decreases_r.con.body.xml.gz2004-04-08 01:32 928  
[ ]Intersection_decreases_r.con.proof_tree.xml.gz2004-04-09 18:52 1.8K 
[ ]Intersection_decreases_r.con.types.xml.gz2004-04-08 01:32 1.1K 
[ ]Intersection_decreases_r.con.xml.gz2004-04-08 01:32 573  
[ ]Intersection_is_Glb.con.body.xml.gz2004-04-08 01:32 3.1K 
[ ]Intersection_is_Glb.con.proof_tree.xml.gz2004-04-09 18:52 7.0K 
[ ]Intersection_is_Glb.con.types.xml.gz2004-04-08 01:32 5.1K 
[ ]Intersection_is_Glb.con.xml.gz2004-04-08 01:32 820  
[ ]Intersection_maximal.con.body.xml.gz2004-04-08 01:32 819  
[ ]Intersection_maximal.con.proof_tree.xml.gz2004-04-09 18:52 1.3K 
[ ]Intersection_maximal.con.types.xml.gz2004-04-08 01:32 1.3K 
[ ]Intersection_maximal.con.xml.gz2004-04-08 01:32 677  
[ ]Power_set.ind.types.xml.gz2004-04-08 01:32 197  
[ ]Power_set.ind.xml.gz2004-04-08 01:32 668  
[ ]Power_set_Inhabited.con.body.xml.gz2004-04-08 01:32 659  
[ ]Power_set_Inhabited.con.proof_tree.xml.gz2004-04-09 18:52 1.3K 
[ ]Power_set_Inhabited.con.types.xml.gz2004-04-08 01:32 768  
[ ]Power_set_Inhabited.con.xml.gz2004-04-08 01:32 518  
[ ]Power_set_PO.con.body.xml.gz2004-04-08 01:32 610  
[ ]Power_set_PO.con.proof_tree.xml.gz2004-04-09 18:52 1.2K 
[ ]Power_set_PO.con.types.xml.gz2004-04-08 01:32 457  
[ ]Power_set_PO.con.xml.gz2004-04-08 01:32 430  
[ ]Power_set_ind.con.body.xml.gz2004-04-08 01:32 906  
[ ]Power_set_ind.con.types.xml.gz2004-04-08 01:32 781  
[ ]Power_set_ind.con.xml.gz2004-04-08 01:32 727  
[ ]Strict_Rel_is_Strict_Included.con.body.xml.gz2004-04-08 01:32 1.1K 
[ ]Strict_Rel_is_Strict_Included.con.proof_tree.xml.gz2004-04-09 18:52 1.0K 
[ ]Strict_Rel_is_Strict_Included.con.types.xml.gz2004-04-08 01:32 1.8K 
[ ]Strict_Rel_is_Strict_Included.con.xml.gz2004-04-08 01:32 565  
[ ]Strict_inclusion_is_transitive.con.body.xml.gz2004-04-08 01:32 672  
[ ]Strict_inclusion_is_transitive.con.proof_tree.xml.gz2004-04-09 18:52 1.3K 
[ ]Strict_inclusion_is_transitive.con.types.xml.gz2004-04-08 01:32 906  
[ ]Strict_inclusion_is_transitive.con.xml.gz2004-04-08 01:32 420  
[ ]Strict_inclusion_is_transitive_with_inclusion.con.body.xml.gz2004-04-08 01:32 1.8K 
[ ]Strict_inclusion_is_transitive_with_inclusion.con.proof_tree.xml.gz2004-04-09 18:52 4.1K 
[ ]Strict_inclusion_is_transitive_with_inclusion.con.types.xml.gz2004-04-08 01:32 2.9K 
[ ]Strict_inclusion_is_transitive_with_inclusion.con.xml.gz2004-04-08 01:32 658  
[ ]Strict_inclusion_is_transitive_with_inclusion_left.con.body.xml.gz2004-04-08 01:32 1.8K 
[ ]Strict_inclusion_is_transitive_with_inclusion_left.con.proof_tree.xml.gz2004-04-09 18:52 4.1K 
[ ]Strict_inclusion_is_transitive_with_inclusion_left.con.types.xml.gz2004-04-08 01:32 2.9K 
[ ]Strict_inclusion_is_transitive_with_inclusion_left.con.xml.gz2004-04-08 01:32 666  
[DIR]The_power_set_partial_order/2005-07-05 08:13 -  
[ ]Union_increases_l.con.body.xml.gz2004-04-08 01:32 637  
[ ]Union_increases_l.con.proof_tree.xml.gz2004-04-09 18:52 1.0K 
[ ]Union_increases_l.con.types.xml.gz2004-04-08 01:32 890  
[ ]Union_increases_l.con.xml.gz2004-04-08 01:32 565  
[ ]Union_increases_r.con.body.xml.gz2004-04-08 01:32 638  
[ ]Union_increases_r.con.proof_tree.xml.gz2004-04-09 18:52 1.0K 
[ ]Union_increases_r.con.types.xml.gz2004-04-08 01:32 891  
[ ]Union_increases_r.con.xml.gz2004-04-08 01:32 566  
[ ]Union_is_Lub.con.body.xml.gz2004-04-08 01:32 2.7K 
[ ]Union_is_Lub.con.proof_tree.xml.gz2004-04-09 18:52 6.2K 
[ ]Union_is_Lub.con.types.xml.gz2004-04-08 01:32 4.3K 
[ ]Union_is_Lub.con.xml.gz2004-04-08 01:32 803  
[ ]Union_minimal.con.body.xml.gz2004-04-08 01:32 917  
[ ]Union_minimal.con.proof_tree.xml.gz2004-04-09 18:52 2.1K 
[ ]Union_minimal.con.types.xml.gz2004-04-08 01:32 1.3K 
[ ]Union_minimal.con.xml.gz2004-04-08 01:32 663  
Apache/2.4.57 (Debian) Server at mowgli.cs.unibo.it Port 80