Mon, 03 May 1999 19:03:35 +0200 | wenzelm | tuned; | changeset | files |
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 |
Mon, 03 May 1999 11:18:44 +0200 | paulson | renamed state variables | changeset | files |
Mon, 03 May 1999 11:18:11 +0200 | paulson | tidied | changeset | files |
Mon, 03 May 1999 10:57:14 +0200 | wenzelm | tuned; | changeset | files |