| Wed, 27 Jul 1994 15:14:31 +0200 | wenzelm | added experimental add_defns (actually should be moved somewhere else); | changeset | files |
| Tue, 26 Jul 1994 14:02:16 +0200 | lcp | Misc minor updates | changeset | files |
| Tue, 26 Jul 1994 13:44:42 +0200 | lcp | Axiom of choice, cardinality results, etc. | changeset | files |
| Tue, 26 Jul 1994 13:21:20 +0200 | lcp | Axiom of choice, cardinality results, etc. | changeset | files |