isabelle: Changelog

wenzelm [Tue, 26 Oct 1999 14:35:10 +0200] rev 7931

added kill_thy;

wenzelm [Tue, 26 Oct 1999 14:34:50 +0200] rev 7930

added opt_unit (from isar_syn.ML);

wenzelm [Tue, 26 Oct 1999 00:04:05 +0200] rev 7929

added drop_ext; tuned;

wenzelm [Mon, 25 Oct 1999 20:38:03 +0200] rev 7928

improved handling of warn_extra_tfrees;

wenzelm [Mon, 25 Oct 1999 19:24:43 +0200] rev 7927

update by Gertrud Bauer;

wenzelm [Mon, 25 Oct 1999 19:24:31 +0200] rev 7926

added Real/HahnBanach/document/root.bib;

wenzelm [Fri, 22 Oct 1999 21:50:12 +0200] rev 7925

warn_extra_tfrees (after declare_term);

wenzelm [Fri, 22 Oct 1999 21:49:33 +0200] rev 7924

warn_extra_tfrees; removed bind(_i), add_binds, declare_term;

wenzelm [Fri, 22 Oct 1999 21:48:50 +0200] rev 7923

warn_extra_tfrees;

wenzelm [Fri, 22 Oct 1999 20:25:19 +0200] rev 7922

tuned repeat_undo;

isabelle