| Thu, 16 Jan 1997 14:53:37 +0100 | wenzelm | added termless parameter; | changeset | files |
| Thu, 16 Jan 1997 13:44:47 +0100 | wenzelm | added term order; | changeset | files |
| Mon, 13 Jan 1997 18:24:40 +0100 | wenzelm | improved error msg; | changeset | files |
| Mon, 13 Jan 1997 18:20:35 +0100 | wenzelm | added datatype order; | changeset | files |
| Mon, 13 Jan 1997 13:20:32 +0100 | wenzelm | added -? option; | changeset | files |
| Mon, 13 Jan 1997 09:29:55 +0100 | wenzelm | replaced unit refs by 'stamp'; | changeset | files |
| Fri, 10 Jan 1997 10:27:57 +0100 | wenzelm | cleaned up (real changes next time); | changeset | files |
| Thu, 09 Jan 1997 17:16:50 +0100 | wenzelm | make all Isabelle systems afresh; | changeset | files |