isabelle: Changelog

wenzelm [Thu, 10 Aug 2000 00:45:23 +0200] rev 9569

X-Symbol mode -- look in canonical place;

wenzelm [Wed, 09 Aug 2000 21:14:07 +0200] rev 9568

fixed spelling;

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;

isabelle