Index of /xml/Coq/Sets/Uniset

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[DIR]defs/2005-07-05 08:13 -  
[ ]In.con.types.xml.gz2004-04-08 01:32 185  
[ ]seq.con.types.xml.gz2004-04-08 01:32 187  
[ ]incl.con.types.xml.gz2004-04-08 01:32 188  
[ ]union.con.types.xml.gz2004-04-08 01:32 189  
[ ]uniset.ind.types.xml.gz2004-04-08 01:32 190  
[ ]charac.con.types.xml.gz2004-04-08 01:32 192  
[ ]Fullset.con.types.xml.gz2004-04-08 01:32 194  
[ ]Emptyset.con.types.xml.gz2004-04-08 01:32 195  
[ ]Singleton.con.types.xml.gz2004-04-08 01:32 197  
[ ]uniset_rec.con.types.xml.gz2004-04-08 01:32 199  
[ ]uniset_rect.con.types.xml.gz2004-04-08 01:32 201  
[ ]Emptyset.con.xml.gz2004-04-08 01:32 242  
[ ]Fullset.con.xml.gz2004-04-08 01:32 242  
[ ]union.con.xml.gz2004-04-08 01:32 293  
[ ]seq.con.xml.gz2004-04-08 01:32 306  
[ ]incl.con.xml.gz2004-04-08 01:32 307  
[ ]In.con.xml.gz2004-04-08 01:32 316  
[ ]Singleton.con.xml.gz2004-04-08 01:32 319  
[ ]charac.con.xml.gz2004-04-08 01:32 323  
[ ]leb_refl.con.xml.gz2004-04-08 01:32 369  
[ ]seq_refl.con.xml.gz2004-04-08 01:32 373  
[ ]Fullset.con.body.xml.gz2004-04-08 01:32 375  
[ ]Emptyset.con.body.xml.gz2004-04-08 01:32 378  
[ ]uniset_rec.con.body.xml.gz2004-04-08 01:32 412  
[ ]uniset_ind.con.body.xml.gz2004-04-08 01:32 415  
[ ]uniset.ind.xml.gz2004-04-08 01:32 419  
[ ]union_empty_left.con.xml.gz2004-04-08 01:32 420  
[ ]union_empty_right.con.xml.gz2004-04-08 01:32 426  
[ ]seq_sym.con.xml.gz2004-04-08 01:32 428  
[ ]incl_left.con.xml.gz2004-04-08 01:32 431  
[ ]incl_right.con.xml.gz2004-04-08 01:32 436  
[ ]union_comm.con.xml.gz2004-04-08 01:32 445  
[ ]In.con.body.xml.gz2004-04-08 01:32 462  
[ ]seq_trans.con.xml.gz2004-04-08 01:32 470  
[ ]union_empty_left.con.body.xml.gz2004-04-08 01:32 494  
[ ]incl.con.body.xml.gz2004-04-08 01:32 499  
[ ]seq_left.con.xml.gz2004-04-08 01:32 500  
[ ]seq_right.con.xml.gz2004-04-08 01:32 501  
[ ]union_ass.con.xml.gz2004-04-08 01:32 510  
[ ]union_perm_left.con.xml.gz2004-04-08 01:32 510  
[ ]union_rotate.con.xml.gz2004-04-08 01:32 511  
[ ]union.con.body.xml.gz2004-04-08 01:32 518  
[ ]seq.con.body.xml.gz2004-04-08 01:32 519  
[ ]seq_congr.con.xml.gz2004-04-08 01:32 542  
[ ]uniset_rect.con.xml.gz2004-04-08 01:32 553  
[ ]uniset_rec.con.xml.gz2004-04-08 01:32 557  
[ ]uniset_ind.con.xml.gz2004-04-08 01:32 562  
[ ]uniset_twist2.con.xml.gz2004-04-08 01:32 567  
[ ]charac.con.body.xml.gz2004-04-08 01:32 571  
[ ]leb_refl.con.body.xml.gz2004-04-08 01:32 571  
[ ]uniset_twist1.con.xml.gz2004-04-08 01:32 572  
[ ]leb_refl.con.types.xml.gz2004-04-08 01:32 581  
[ ]treesort_twist1.con.xml.gz2004-04-08 01:32 622  
[ ]treesort_twist2.con.xml.gz2004-04-08 01:32 625  
[ ]uniset_rect.con.body.xml.gz2004-04-08 01:32 681  
[ ]uniset_ind.con.types.xml.gz2004-04-08 01:32 686  
[ ]seq_refl.con.body.xml.gz2004-04-08 01:32 714  
[ ]incl_right.con.body.xml.gz2004-04-08 01:32 748  
[ ]incl_left.con.body.xml.gz2004-04-08 01:32 749  
[ ]union_empty_right.con.body.xml.gz2004-04-08 01:32 766  
[ ]union_empty_left.con.types.xml.gz2004-04-08 01:32 820  
[ ]Singleton.con.body.xml.gz2004-04-08 01:32 822  
[ ]seq_refl.con.types.xml.gz2004-04-08 01:32 882  
[ ]treesort_twist2.con.body.xml.gz2004-04-08 01:32 905  
[ ]treesort_twist1.con.body.xml.gz2004-04-08 01:32 906  
[ ]incl_left.con.types.xml.gz2004-04-08 01:32 956  
[ ]uniset_twist2.con.body.xml.gz2004-04-08 01:32 958  
[ ]incl_right.con.types.xml.gz2004-04-08 01:32 971  
[ ]seq_congr.con.body.xml.gz2004-04-08 01:32 1.0K 
[ ]union_empty_right.con.types.xml.gz2004-04-08 01:32 1.0K 
[ ]union_rotate.con.body.xml.gz2004-04-08 01:32 1.0K 
[ ]treesort_twist1.con.types.xml.gz2004-04-08 01:32 1.0K 
[ ]treesort_twist2.con.types.xml.gz2004-04-08 01:32 1.0K 
[ ]seq_congr.con.types.xml.gz2004-04-08 01:32 1.0K 
[ ]uniset_twist2.con.types.xml.gz2004-04-08 01:32 1.1K 
[ ]union_perm_left.con.body.xml.gz2004-04-08 01:32 1.1K 
[ ]leb_refl.con.proof_tree.xml.gz2004-04-09 18:52 1.2K 
[ ]uniset_twist1.con.body.xml.gz2004-04-08 01:32 1.3K 
[ ]INDEX2005-07-05 08:11 1.5K 
[ ]seq_refl.con.proof_tree.xml.gz2004-04-09 18:52 1.5K 
[ ]seq_sym.con.body.xml.gz2004-04-08 01:32 1.5K 
[ ]union_comm.con.body.xml.gz2004-04-08 01:32 1.5K 
[ ]union_rotate.con.types.xml.gz2004-04-08 01:32 1.6K 
[ ]union_comm.con.types.xml.gz2004-04-08 01:32 1.7K 
[ ]union_perm_left.con.types.xml.gz2004-04-08 01:32 1.8K 
[ ]union_empty_left.con.proof_tree.xml.gz2004-04-09 18:52 1.9K 
[ ]incl_left.con.proof_tree.xml.gz2004-04-09 18:52 2.0K 
[ ]incl_right.con.proof_tree.xml.gz2004-04-09 18:52 2.0K 
[ ]seq_sym.con.types.xml.gz2004-04-08 01:32 2.1K 
[ ]uniset_twist1.con.types.xml.gz2004-04-08 01:32 2.1K 
[ ]treesort_twist1.con.proof_tree.xml.gz2004-04-09 18:52 2.1K 
[ ]treesort_twist2.con.proof_tree.xml.gz2004-04-09 18:52 2.1K 
[ ]uniset_twist2.con.proof_tree.xml.gz2004-04-09 18:52 2.3K 
[ ]union_empty_right.con.proof_tree.xml.gz2004-04-09 18:52 2.3K 
[ ]seq_congr.con.proof_tree.xml.gz2004-04-09 18:52 2.3K 
[ ]union_rotate.con.proof_tree.xml.gz2004-04-09 18:52 2.4K 
[ ]seq_sym.con.proof_tree.xml.gz2004-04-09 18:52 2.5K 
[ ]seq_trans.con.body.xml.gz2004-04-08 01:32 2.5K 
[ ]union_comm.con.proof_tree.xml.gz2004-04-09 18:52 2.7K 
[ ]union_perm_left.con.proof_tree.xml.gz2004-04-09 18:52 2.7K 
[ ]uniset_twist1.con.proof_tree.xml.gz2004-04-09 18:52 3.0K 
[ ]union_ass.con.body.xml.gz2004-04-08 01:32 3.2K 
[ ]seq_right.con.body.xml.gz2004-04-08 01:32 3.4K 
[ ]seq_left.con.body.xml.gz2004-04-08 01:32 3.4K 
[ ]seq_trans.con.types.xml.gz2004-04-08 01:32 3.7K 
[ ]seq_trans.con.proof_tree.xml.gz2004-04-09 18:52 4.0K 
[ ]union_ass.con.proof_tree.xml.gz2004-04-09 18:52 5.3K 
[ ]seq_right.con.proof_tree.xml.gz2004-04-09 18:52 5.7K 
[ ]union_ass.con.types.xml.gz2004-04-08 01:32 5.7K 
[ ]seq_left.con.proof_tree.xml.gz2004-04-09 18:52 5.7K 
[ ]seq_left.con.types.xml.gz2004-04-08 01:32 5.7K 
[ ]seq_right.con.types.xml.gz2004-04-08 01:32 5.7K 
Apache/2.4.61 (Debian) Server at mowgli.cs.unibo.it Port 80