Index of /xml/Coq/Sets/Powerset_Classical_facts

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]Add_covers.con.body.xml.gz2004-04-08 01:32 7.1K 
[ ]Add_covers.con.proof_tree.xml.gz2004-04-09 18:52 12K 
[ ]Add_covers.con.types.xml.gz2004-04-08 01:32 6.5K 
[ ]Add_covers.con.xml.gz2004-04-08 01:32 849  
[ ]INDEX2005-07-05 08:11 1.0K 
[ ]Included_Add.con.body.xml.gz2004-04-08 01:32 5.8K 
[ ]Included_Add.con.proof_tree.xml.gz2004-04-09 18:52 9.9K 
[ ]Included_Add.con.types.xml.gz2004-04-08 01:32 6.6K 
[ ]Included_Add.con.xml.gz2004-04-08 01:32 964  
[DIR]Sets_as_an_algebra/2005-07-05 08:13 -  
[ ]Simplify_add.con.body.xml.gz2004-04-08 01:32 1.9K 
[ ]Simplify_add.con.proof_tree.xml.gz2004-04-09 18:52 2.4K 
[ ]Simplify_add.con.types.xml.gz2004-04-08 01:32 1.4K 
[ ]Simplify_add.con.xml.gz2004-04-08 01:32 784  
[ ]Singleton_atomic.con.body.xml.gz2004-04-08 01:32 1.2K 
[ ]Singleton_atomic.con.proof_tree.xml.gz2004-04-09 18:52 2.0K 
[ ]Singleton_atomic.con.types.xml.gz2004-04-08 01:32 1.3K 
[ ]Singleton_atomic.con.xml.gz2004-04-08 01:32 743  
[ ]Sub_Add_new.con.body.xml.gz2004-04-08 01:32 1.0K 
[ ]Sub_Add_new.con.proof_tree.xml.gz2004-04-09 18:52 1.3K 
[ ]Sub_Add_new.con.types.xml.gz2004-04-08 01:32 1.3K 
[ ]Sub_Add_new.con.xml.gz2004-04-08 01:32 677  
[ ]add_soustr_1.con.body.xml.gz2004-04-08 01:32 1.7K 
[ ]add_soustr_1.con.proof_tree.xml.gz2004-04-09 18:52 3.3K 
[ ]add_soustr_1.con.types.xml.gz2004-04-08 01:32 1.9K 
[ ]add_soustr_1.con.xml.gz2004-04-08 01:32 639  
[ ]add_soustr_2.con.body.xml.gz2004-04-08 01:32 1.6K 
[ ]add_soustr_2.con.proof_tree.xml.gz2004-04-09 18:52 2.7K 
[ ]add_soustr_2.con.types.xml.gz2004-04-08 01:32 1.7K 
[ ]add_soustr_2.con.xml.gz2004-04-08 01:32 638  
[ ]add_soustr_xy.con.body.xml.gz2004-04-08 01:32 5.1K 
[ ]add_soustr_xy.con.proof_tree.xml.gz2004-04-09 18:52 8.5K 
[ ]add_soustr_xy.con.types.xml.gz2004-04-08 01:32 5.9K 
[ ]add_soustr_xy.con.xml.gz2004-04-08 01:32 763  
[ ]covers_Add.con.body.xml.gz2004-04-08 01:32 7.1K 
[ ]covers_Add.con.proof_tree.xml.gz2004-04-09 18:52 9.9K 
[ ]covers_Add.con.types.xml.gz2004-04-08 01:32 7.8K 
[ ]covers_Add.con.xml.gz2004-04-08 01:32 1.1K 
[ ]covers_is_Add.con.body.xml.gz2004-04-08 01:32 4.6K 
[ ]covers_is_Add.con.proof_tree.xml.gz2004-04-09 18:52 5.7K 
[ ]covers_is_Add.con.types.xml.gz2004-04-08 01:32 4.9K 
[ ]covers_is_Add.con.xml.gz2004-04-08 01:32 1.1K 
[ ]incl_soustr.con.body.xml.gz2004-04-08 01:32 1.4K 
[ ]incl_soustr.con.proof_tree.xml.gz2004-04-09 18:52 2.7K 
[ ]incl_soustr.con.types.xml.gz2004-04-08 01:32 2.0K 
[ ]incl_soustr.con.xml.gz2004-04-08 01:32 647  
[ ]incl_soustr_add_l.con.body.xml.gz2004-04-08 01:32 1.8K 
[ ]incl_soustr_add_l.con.proof_tree.xml.gz2004-04-09 18:52 3.7K 
[ ]incl_soustr_add_l.con.types.xml.gz2004-04-08 01:32 2.3K 
[ ]incl_soustr_add_l.con.xml.gz2004-04-08 01:32 594  
[ ]incl_soustr_add_r.con.body.xml.gz2004-04-08 01:32 1.1K 
[ ]incl_soustr_add_r.con.proof_tree.xml.gz2004-04-09 18:52 2.9K 
[ ]incl_soustr_add_r.con.types.xml.gz2004-04-08 01:32 1.4K 
[ ]incl_soustr_add_r.con.xml.gz2004-04-08 01:32 667  
[ ]incl_soustr_in.con.body.xml.gz2004-04-08 01:32 1.0K 
[ ]incl_soustr_in.con.proof_tree.xml.gz2004-04-09 18:52 2.1K 
[ ]incl_soustr_in.con.types.xml.gz2004-04-08 01:32 1.3K 
[ ]incl_soustr_in.con.xml.gz2004-04-08 01:32 592  
[ ]incl_st_add_soustr.con.body.xml.gz2004-04-08 01:32 3.7K 
[ ]incl_st_add_soustr.con.proof_tree.xml.gz2004-04-09 18:52 4.9K 
[ ]incl_st_add_soustr.con.types.xml.gz2004-04-08 01:32 5.3K 
[ ]incl_st_add_soustr.con.xml.gz2004-04-08 01:32 735  
[ ]less_than_singleton.con.body.xml.gz2004-04-08 01:32 3.5K 
[ ]less_than_singleton.con.proof_tree.xml.gz2004-04-09 18:52 5.2K 
[ ]less_than_singleton.con.types.xml.gz2004-04-08 01:32 3.5K 
[ ]less_than_singleton.con.xml.gz2004-04-08 01:32 671  
[ ]setcover_inv.con.body.xml.gz2004-04-08 01:32 4.7K 
[ ]setcover_inv.con.proof_tree.xml.gz2004-04-09 18:52 11K 
[ ]setcover_inv.con.types.xml.gz2004-04-08 01:32 7.4K 
[ ]setcover_inv.con.xml.gz2004-04-08 01:32 1.0K 
[ ]sincl_add_x.con.body.xml.gz2004-04-08 01:32 4.8K 
[ ]sincl_add_x.con.proof_tree.xml.gz2004-04-09 18:52 6.0K 
[ ]sincl_add_x.con.types.xml.gz2004-04-08 01:32 4.0K 
[ ]sincl_add_x.con.xml.gz2004-04-08 01:32 718  
Apache/2.4.57 (Debian) Server at mowgli.cs.unibo.it Port 80