| Thu, 03 Feb 1994 13:59:00 +0100 | wenzelm | minor internal changes; | changeset | files |
| Thu, 03 Feb 1994 13:57:04 +0100 | wenzelm | syntax for type abbreviations; | changeset | files |
| Thu, 03 Feb 1994 13:56:44 +0100 | wenzelm | (this is a preliminary release) | changeset | files |
| Thu, 03 Feb 1994 13:56:15 +0100 | wenzelm | added if_none, parents, commas, gen_duplicates, duplicates, assoc2; | changeset | files |
| Thu, 03 Feb 1994 13:55:42 +0100 | wenzelm | replaced pprint_sg by Sign.pprint_sg; | changeset | files |
| Thu, 03 Feb 1994 13:55:20 +0100 | wenzelm | replaced eq_sg by Sign.eq_sg; | changeset | files |