![[ICO]](/icons/blank.gif) | Name | Last modified | Size | Description |
|---|
|
|---|
![[PARENTDIR]](/icons/back.gif) | Parent Directory | | - | |
![[ ]](/icons/compressed.gif) | Complement.con.body.xml.gz | 2004-04-08 01:32 | 499 | |
| Complement.con.types.xml.gz | 2004-04-08 01:32 | 208 | |
| Complement.con.xml.gz | 2004-04-08 01:32 | 388 | |
| Equiv_from_preorder.con.body.xml.gz | 2004-04-08 01:32 | 2.7K | |
| Equiv_from_preorder.con.xml.gz | 2004-04-08 01:32 | 661 | |
| Rsym_imp_notRsym.con.body.xml.gz | 2004-04-08 01:32 | 773 | |
| Rsym_imp_notRsym.con.types.xml.gz | 2004-04-08 01:32 | 1.4K | |
| Rsym_imp_notRsym.con.xml.gz | 2004-04-08 01:32 | 520 | |
| Equiv_from_order.con.body.xml.gz | 2004-04-08 01:32 | 1.1K | |
| Equiv_from_order.con.types.xml.gz | 2004-04-08 01:32 | 1.2K | |
| Equiv_from_order.con.xml.gz | 2004-04-08 01:32 | 654 | |
| Equiv_from_preorder.con.types.xml.gz | 2004-04-08 01:32 | 3.7K | |
| cong_antisymmetric_same_relation.con.body.xml.gz | 2004-04-08 01:32 | 1.6K | |
| cong_antisymmetric_same_relation.con.types.xml.gz | 2004-04-08 01:32 | 2.4K | |
| cong_antisymmetric_same_relation.con.xml.gz | 2004-04-08 01:32 | 600 | |
| cong_reflexive_same_relation.con.body.xml.gz | 2004-04-08 01:32 | 1.0K | |
| cong_reflexive_same_relation.con.types.xml.gz | 2004-04-08 01:32 | 1.5K | |
| cong_reflexive_same_relation.con.xml.gz | 2004-04-08 01:32 | 592 | |
| cong_symmetric_same_relation.con.body.xml.gz | 2004-04-08 01:32 | 1.6K | |
| cong_symmetric_same_relation.con.types.xml.gz | 2004-04-08 01:32 | 2.3K | |
| cong_symmetric_same_relation.con.xml.gz | 2004-04-08 01:32 | 590 | |
| cong_transitive_same_relation.con.body.xml.gz | 2004-04-08 01:32 | 1.3K | |
| cong_transitive_same_relation.con.types.xml.gz | 2004-04-08 01:32 | 1.9K | |
| cong_transitive_same_relation.con.xml.gz | 2004-04-08 01:32 | 596 | |
| contains_is_preorder.con.body.xml.gz | 2004-04-08 01:32 | 1.0K | |
| contains_is_preorder.con.types.xml.gz | 2004-04-08 01:32 | 1.6K | |
| contains_is_preorder.con.xml.gz | 2004-04-08 01:32 | 458 | |
| same_relation_is_equivalence.con.body.xml.gz | 2004-04-08 01:32 | 510 | |
| same_relation_is_equivalence.con.types.xml.gz | 2004-04-08 01:32 | 912 | |
| same_relation_is_equivalence.con.xml.gz | 2004-04-08 01:32 | 468 | |
| Equiv_from_order.con.proof_tree.xml.gz | 2004-04-09 18:52 | 1.6K | |
| Equiv_from_preorder.con.proof_tree.xml.gz | 2004-04-09 18:52 | 4.9K | |
| Rsym_imp_notRsym.con.proof_tree.xml.gz | 2004-04-09 18:52 | 2.4K | |
| cong_antisymmetric_same_relation.con.proof_tree.xml.gz | 2004-04-09 18:52 | 3.6K | |
| cong_reflexive_same_relation.con.proof_tree.xml.gz | 2004-04-09 18:52 | 1.7K | |
| cong_symmetric_same_relation.con.proof_tree.xml.gz | 2004-04-09 18:52 | 3.3K | |
| cong_transitive_same_relation.con.proof_tree.xml.gz | 2004-04-09 18:52 | 2.4K | |
| contains_is_preorder.con.proof_tree.xml.gz | 2004-04-09 18:52 | 762 | |
| same_relation_is_equivalence.con.proof_tree.xml.gz | 2004-04-09 18:52 | 1.3K | |
![[ ]](/icons/unknown.gif) | INDEX | 2005-07-05 08:11 | 742 | |
|
|---|