Index of /xml/Coq/Sets/Powerset_facts

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[DIR]Sets_as_an_algebra/2005-07-05 08:13 -  
[ ]Empty_set_zero'.con.body.xml.gz2004-04-08 01:32 488  
[ ]Union_idempotent.con.xml.gz2004-04-08 01:32 548  
[ ]Empty_set_zero.con.xml.gz2004-04-08 01:32 564  
[ ]Empty_set_zero'.con.xml.gz2004-04-08 01:32 574  
[ ]Union_add.con.body.xml.gz2004-04-08 01:32 574  
[ ]Triple_as_Couple.con.xml.gz2004-04-08 01:32 577  
[ ]singlx.con.xml.gz2004-04-08 01:32 579  
[ ]less_than_empty.con.xml.gz2004-04-08 01:32 586  
[ ]Union_commutative.con.xml.gz2004-04-08 01:32 602  
[ ]Intersection_commutative.con.xml.gz2004-04-08 01:32 611  
[ ]incl_add.con.xml.gz2004-04-08 01:32 627  
[ ]Union_absorbs.con.xml.gz2004-04-08 01:32 629  
[ ]Non_disjoint_union.con.xml.gz2004-04-08 01:32 630  
[ ]Couple_as_union.con.xml.gz2004-04-08 01:32 640  
[ ]Non_disjoint_union'.con.xml.gz2004-04-08 01:32 647  
[ ]Add_commutative.con.xml.gz2004-04-08 01:32 694  
[ ]Triple_as_Couple_Singleton.con.xml.gz2004-04-08 01:32 694  
[ ]incl_add_x.con.xml.gz2004-04-08 01:32 700  
[ ]Union_add.con.xml.gz2004-04-08 01:32 704  
[ ]Union_associative.con.xml.gz2004-04-08 01:32 712  
[ ]Triple_as_union.con.xml.gz2004-04-08 01:32 724  
[ ]Distributivity.con.xml.gz2004-04-08 01:32 736  
[ ]Distributivity'.con.xml.gz2004-04-08 01:32 744  
[ ]Add_commutative'.con.xml.gz2004-04-08 01:32 784  
[ ]less_than_empty.con.body.xml.gz2004-04-08 01:32 808  
[ ]Add_distributes.con.xml.gz2004-04-08 01:32 813  
[ ]Empty_set_zero'.con.types.xml.gz2004-04-08 01:32 855  
[ ]less_than_empty.con.types.xml.gz2004-04-08 01:32 899  
[ ]Union_idempotent.con.proof_tree.xml.gz2004-04-09 18:52 1.0K 
[ ]setcover_intro.con.xml.gz2004-04-08 01:32 1.0K 
[ ]Empty_set_zero.con.proof_tree.xml.gz2004-04-09 18:52 1.0K 
[ ]singlx.con.types.xml.gz2004-04-08 01:32 1.0K 
[ ]Union_idempotent.con.body.xml.gz2004-04-08 01:32 1.0K 
[ ]singlx.con.body.xml.gz2004-04-08 01:32 1.0K 
[ ]setcover_intro.con.body.xml.gz2004-04-08 01:32 1.0K 
[ ]less_than_empty.con.proof_tree.xml.gz2004-04-09 18:52 1.1K 
[ ]Union_absorbs.con.body.xml.gz2004-04-08 01:32 1.1K 
[ ]Union_add.con.types.xml.gz2004-04-08 01:32 1.1K 
[ ]Empty_set_zero.con.body.xml.gz2004-04-08 01:32 1.1K 
[ ]Union_commutative.con.proof_tree.xml.gz2004-04-09 18:52 1.1K 
[ ]Union_commutative.con.body.xml.gz2004-04-08 01:32 1.1K 
[ ]Union_absorbs.con.proof_tree.xml.gz2004-04-09 18:52 1.2K 
[ ]Union_absorbs.con.types.xml.gz2004-04-08 01:32 1.2K 
[ ]Union_idempotent.con.types.xml.gz2004-04-08 01:32 1.2K 
[ ]Empty_set_zero.con.types.xml.gz2004-04-08 01:32 1.2K 
[ ]Triple_as_Couple.con.types.xml.gz2004-04-08 01:32 1.3K 
[ ]Triple_as_Couple.con.body.xml.gz2004-04-08 01:32 1.3K 
[ ]Empty_set_zero'.con.proof_tree.xml.gz2004-04-09 18:52 1.3K 
[ ]Union_associative.con.proof_tree.xml.gz2004-04-09 18:52 1.4K 
[ ]singlx.con.proof_tree.xml.gz2004-04-09 18:52 1.4K 
[ ]INDEX2005-07-05 08:11 1.4K 
[ ]Union_commutative.con.types.xml.gz2004-04-08 01:32 1.4K 
[ ]incl_add.con.body.xml.gz2004-04-08 01:32 1.6K 
[ ]Triple_as_Couple_Singleton.con.types.xml.gz2004-04-08 01:32 1.6K 
[ ]Add_commutative'.con.types.xml.gz2004-04-08 01:32 1.7K 
[ ]Add_commutative'.con.body.xml.gz2004-04-08 01:32 1.7K 
[ ]Triple_as_Couple_Singleton.con.body.xml.gz2004-04-08 01:32 1.7K 
[ ]setcover_intro.con.types.xml.gz2004-04-08 01:32 1.7K 
[ ]Non_disjoint_union.con.body.xml.gz2004-04-08 01:32 1.8K 
[ ]Intersection_commutative.con.body.xml.gz2004-04-08 01:32 1.9K 
[ ]incl_add.con.types.xml.gz2004-04-08 01:32 1.9K 
[ ]Triple_as_Couple.con.proof_tree.xml.gz2004-04-09 18:52 2.0K 
[ ]Add_commutative'.con.proof_tree.xml.gz2004-04-09 18:52 2.0K 
[ ]Union_add.con.proof_tree.xml.gz2004-04-09 18:52 2.1K 
[ ]Triple_as_Couple_Singleton.con.proof_tree.xml.gz2004-04-09 18:52 2.1K 
[ ]Non_disjoint_union.con.types.xml.gz2004-04-08 01:32 2.2K 
[ ]incl_add_x.con.body.xml.gz2004-04-08 01:32 2.2K 
[ ]Non_disjoint_union'.con.body.xml.gz2004-04-08 01:32 2.3K 
[ ]Intersection_commutative.con.types.xml.gz2004-04-08 01:32 2.3K 
[ ]Add_commutative.con.types.xml.gz2004-04-08 01:32 2.3K 
[ ]incl_add_x.con.types.xml.gz2004-04-08 01:32 2.4K 
[ ]Add_commutative.con.body.xml.gz2004-04-08 01:32 2.4K 
[ ]Add_commutative.con.proof_tree.xml.gz2004-04-09 18:52 2.4K 
[ ]setcover_intro.con.proof_tree.xml.gz2004-04-09 18:52 2.5K 
[ ]Non_disjoint_union'.con.types.xml.gz2004-04-08 01:32 2.6K 
[ ]Union_associative.con.body.xml.gz2004-04-08 01:32 2.6K 
[ ]Couple_as_union.con.body.xml.gz2004-04-08 01:32 2.6K 
[ ]Add_distributes.con.types.xml.gz2004-04-08 01:32 2.9K 
[ ]Intersection_commutative.con.proof_tree.xml.gz2004-04-09 18:52 3.0K 
[ ]Add_distributes.con.proof_tree.xml.gz2004-04-09 18:52 3.0K 
[ ]Add_distributes.con.body.xml.gz2004-04-08 01:32 3.1K 
[ ]incl_add.con.proof_tree.xml.gz2004-04-09 18:52 3.2K 
[ ]Couple_as_union.con.types.xml.gz2004-04-08 01:32 3.3K 
[ ]Union_associative.con.types.xml.gz2004-04-08 01:32 3.5K 
[ ]Non_disjoint_union.con.proof_tree.xml.gz2004-04-09 18:52 3.7K 
[ ]Triple_as_union.con.body.xml.gz2004-04-08 01:32 4.2K 
[ ]Distributivity.con.body.xml.gz2004-04-08 01:32 4.4K 
[ ]Couple_as_union.con.proof_tree.xml.gz2004-04-09 18:52 4.5K 
[ ]incl_add_x.con.proof_tree.xml.gz2004-04-09 18:52 4.9K 
[ ]Non_disjoint_union'.con.proof_tree.xml.gz2004-04-09 18:52 4.9K 
[ ]Distributivity'.con.body.xml.gz2004-04-08 01:32 5.0K 
[ ]Triple_as_union.con.types.xml.gz2004-04-08 01:32 5.5K 
[ ]Distributivity.con.types.xml.gz2004-04-08 01:32 5.7K 
[ ]Distributivity'.con.types.xml.gz2004-04-08 01:32 6.2K 
[ ]Triple_as_union.con.proof_tree.xml.gz2004-04-09 18:52 6.9K 
[ ]Distributivity.con.proof_tree.xml.gz2004-04-09 18:52 7.4K 
[ ]Distributivity'.con.proof_tree.xml.gz2004-04-09 18:52 8.3K 
Apache/2.4.61 (Debian) Server at mowgli.cs.unibo.it Port 80