isabelle: Changelog

wenzelm [Wed, 09 Aug 2000 21:13:42 +0200] rev 9567

added Bauer-Wenzel:2000:HB;

wenzelm [Wed, 09 Aug 2000 21:02:45 +0200] rev 9566

thms closure;

wenzelm [Wed, 09 Aug 2000 21:02:21 +0200] rev 9565

res_inst: include non-inst versions with multiple thms; ML tactic: thms closure; tuned msgs;

wenzelm [Wed, 09 Aug 2000 21:00:22 +0200] rev 9564

added get_thms_closure, single_thm;

wenzelm [Wed, 09 Aug 2000 20:59:23 +0200] rev 9563

fixed classification of rules in atts and modifiers (final!?);

wenzelm [Wed, 09 Aug 2000 20:46:58 +0200] rev 9562

fixed mk_cases_i: TRYALL InductMethod.simp_case_tac;

wenzelm [Wed, 09 Aug 2000 20:43:03 +0200] rev 9561

thms "atomize";

bauerg [Wed, 09 Aug 2000 17:10:41 +0200] rev 9560

tuned;

kleing [Wed, 09 Aug 2000 11:53:00 +0200] rev 9559

tuned

wenzelm [Tue, 08 Aug 2000 16:57:44 +0200] rev 9558

token translation: enclose "\\mbox{" "}";

isabelle