Thu, 07 Aug 1997 23:48:29 +0200 | berghofe | Removed references to simplifier. | changeset | files |
Thu, 07 Aug 1997 23:46:36 +0200 | berghofe | Modified parse error message. | changeset | files |
Thu, 07 Aug 1997 23:45:24 +0200 | berghofe | Startup script for Isabelle theory browser. | changeset | files |