| Wed, 27 Jul 1994 16:09:14 +0200 | lcp | Addition of infinite branching datatypes | changeset | files |
| Wed, 27 Jul 1994 16:03:16 +0200 | lcp | Addition of infinite branching datatypes | changeset | files |
| 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 |