Wed, 27 Jul 1994 15:33:42 +0200 | lcp | Addition of infinite branching datatypes | changeset | files |
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 |
Thu, 21 Jul 1994 16:51:26 +0200 | nipkow | added IMP | changeset | files |