isabelle: Changelog

berghofe [Thu, 07 Oct 1999 15:40:32 +0200] rev 7786

Replaced update_new by update.

berghofe [Thu, 07 Oct 1999 14:44:55 +0200] rev 7785

Added functions for enabling and disabling derivations.

wenzelm [Thu, 07 Oct 1999 14:32:32 +0200] rev 7784

read_idents;

wenzelm [Thu, 07 Oct 1999 14:32:18 +0200] rev 7783

$ISATOOL;

wenzelm [Thu, 07 Oct 1999 14:31:20 +0200] rev 7782

unset ISABELLE_SETTINGS_PRESENT;

wenzelm [Thu, 07 Oct 1999 14:31:01 +0200] rev 7781

delete Tools;

berghofe [Thu, 07 Oct 1999 12:52:23 +0200] rev 7780

Documented changes to HOL/inductive and function thm_deps.

berghofe [Thu, 07 Oct 1999 12:51:37 +0200] rev 7779

Added file Thy/thm_deps.ML

wenzelm [Thu, 07 Oct 1999 12:50:34 +0200] rev 7778

obsolete;

wenzelm [Thu, 07 Oct 1999 12:38:12 +0200] rev 7777

tuned dirname;

isabelle