Thu, 06 Dec 2001 13:01:07 +0100 | paulson | intro and elim now require arguments | changeset | files |
Thu, 06 Dec 2001 13:00:25 +0100 | paulson | record extend and truncate | changeset | files |
Thu, 06 Dec 2001 00:46:24 +0100 | wenzelm | use Main; | changeset | files |