Mon, 23 Jun 1997 10:42:03 +0200 | paulson | Ran expandshort | changeset | files |
Mon, 23 Jun 1997 10:35:49 +0200 | paulson | New "congs" keyword for recdef theory section | changeset | files |
Fri, 20 Jun 1997 13:19:31 +0200 | wenzelm | removed old Makefile; | changeset | files |