| Tue, 17 May 2005 18:10:35 +0200 | wenzelm | removed ISAMODE settings; | changeset | files |
| Tue, 17 May 2005 18:10:34 +0200 | wenzelm | no longer support isa-FOO interface; | changeset | files |
| Tue, 17 May 2005 18:10:33 +0200 | wenzelm | no longer support isa-FOO interface; | changeset | files |
| Tue, 17 May 2005 18:10:31 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 17 May 2005 18:10:31 +0200 | wenzelm | obsolete; | changeset | files |
| Tue, 17 May 2005 17:01:35 +0200 | paulson | added comment | changeset | files |
| Tue, 17 May 2005 17:01:19 +0200 | paulson | streamlined proof using new subst method | changeset | files |
| Tue, 17 May 2005 10:19:46 +0200 | wenzelm | moved credit to CONTRIBUTORS; | changeset | files |
| Tue, 17 May 2005 10:19:45 +0200 | wenzelm | moved credit to CONTRIBUTORS; | changeset | files |
| Tue, 17 May 2005 10:19:44 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 17 May 2005 10:19:43 +0200 | wenzelm | export ISABELLE_HOME, do not normalize; | changeset | files |
| Tue, 17 May 2005 10:19:42 +0200 | wenzelm | removed THIS_IS_ISABELLE_ADMIN; | changeset | files |
| Tue, 17 May 2005 10:08:24 +0200 | wenzelm | removed rev_append; | changeset | files |
| Tue, 17 May 2005 10:08:24 +0200 | wenzelm | obsolete; | changeset | files |
| Tue, 17 May 2005 10:05:15 +0200 | wenzelm | added; | changeset | files |