| Thu, 07 Oct 1999 15:40:32 +0200 | berghofe | Replaced update_new by update. | changeset | files |
| Thu, 07 Oct 1999 14:44:55 +0200 | berghofe | Added functions for enabling and disabling derivations. | changeset | files |
| Thu, 07 Oct 1999 14:32:32 +0200 | wenzelm | read_idents; | changeset | files |
| Thu, 07 Oct 1999 14:32:18 +0200 | wenzelm | $ISATOOL; | changeset | files |
| Thu, 07 Oct 1999 14:31:20 +0200 | wenzelm | unset ISABELLE_SETTINGS_PRESENT; | changeset | files |
| Thu, 07 Oct 1999 14:31:01 +0200 | wenzelm | delete Tools; | changeset | files |
| Thu, 07 Oct 1999 12:52:23 +0200 | berghofe | Documented changes to HOL/inductive and function thm_deps. | changeset | files |
| Thu, 07 Oct 1999 12:51:37 +0200 | berghofe | Added file Thy/thm_deps.ML | changeset | files |
| Thu, 07 Oct 1999 12:50:34 +0200 | wenzelm | obsolete; | changeset | files |
| Thu, 07 Oct 1999 12:38:12 +0200 | wenzelm | tuned dirname; | changeset | files |
| Thu, 07 Oct 1999 12:37:55 +0200 | wenzelm | removed TeX environment hacking; | changeset | files |
| Thu, 07 Oct 1999 12:36:53 +0200 | wenzelm | verbatim / verb markupup commands; | changeset | files |