| Thu, 27 Aug 1998 18:46:57 +0200 | wenzelm | * Pure: ML function 'theory_of' replaced by 'theory'; | changeset | files |
| Thu, 27 Aug 1998 18:36:23 +0200 | wenzelm | tuned; | changeset | files |
| Thu, 27 Aug 1998 18:34:55 +0200 | wenzelm | isatool install; | changeset | files |
| Thu, 27 Aug 1998 18:02:40 +0200 | wenzelm | added tutorial; | changeset | files |
| Thu, 27 Aug 1998 16:54:55 +0200 | wenzelm | fixed ISABELLE_USEDIR_OPTIONS; | changeset | files |
| Thu, 27 Aug 1998 16:41:22 +0200 | wenzelm | *** empty log message *** | changeset | files |
| Thu, 27 Aug 1998 16:41:11 +0200 | wenzelm | Goal, Goalw; | changeset | files |