isabelle: Changelog

wenzelm [Sat, 25 Sep 1999 13:19:33 +0200] rev 7605

added reset_thms; prep_result: check prop;

wenzelm [Sat, 25 Sep 1999 13:18:38 +0200] rev 7604

tuned;

wenzelm [Sat, 25 Sep 1999 13:18:20 +0200] rev 7603

defs: name mandatory;

wenzelm [Sat, 25 Sep 1999 13:17:38 +0200] rev 7602

avoid interrupts of read loop;

wenzelm [Sat, 25 Sep 1999 13:08:54 +0200] rev 7601

simplified sectioned_args; tuned;

wenzelm [Sat, 25 Sep 1999 13:08:08 +0200] rev 7600

Proof.reset_thms calculationN;

wenzelm [Sat, 25 Sep 1999 13:07:48 +0200] rev 7599

admit unbinding;

wenzelm [Sat, 25 Sep 1999 13:06:59 +0200] rev 7598

unfold / fold defs;

wenzelm [Sat, 25 Sep 1999 13:06:06 +0200] rev 7597

skolem_tag;

wenzelm [Sat, 25 Sep 1999 13:05:38 +0200] rev 7596

added fold_rule;

isabelle