Mon, 03 May 1999 18:35:48 +0200 | wenzelm | theory loader stuff updated and improved; | changeset | files |
Mon, 03 May 1999 14:43:52 +0200 | wenzelm | fixed reqs? | changeset | files |
Mon, 03 May 1999 11:19:08 +0200 | paulson | improved error handling | changeset | files |