Thu, 10 Aug 2000 11:30:22 +0200 new structure field "add" for CombineNumerals
paulson [Thu, 10 Aug 2000 11:30:22 +0200] rev 9571
new structure field "add" for CombineNumerals
Thu, 10 Aug 2000 11:27:34 +0200 installation of cancellation simprocs for the integers
paulson [Thu, 10 Aug 2000 11:27:34 +0200] rev 9570
installation of cancellation simprocs for the integers
Thu, 10 Aug 2000 00:45:23 +0200 X-Symbol mode -- look in canonical place;
wenzelm [Thu, 10 Aug 2000 00:45:23 +0200] rev 9569
X-Symbol mode -- look in canonical place;
Wed, 09 Aug 2000 21:14:07 +0200 fixed spelling;
wenzelm [Wed, 09 Aug 2000 21:14:07 +0200] rev 9568
fixed spelling;
Wed, 09 Aug 2000 21:13:42 +0200 added Bauer-Wenzel:2000:HB;
wenzelm [Wed, 09 Aug 2000 21:13:42 +0200] rev 9567
added Bauer-Wenzel:2000:HB;
Wed, 09 Aug 2000 21:02:45 +0200 thms closure;
wenzelm [Wed, 09 Aug 2000 21:02:45 +0200] rev 9566
thms closure;
Wed, 09 Aug 2000 21:02:21 +0200 res_inst: include non-inst versions with multiple thms;
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;
Wed, 09 Aug 2000 21:00:22 +0200 added get_thms_closure, single_thm;
wenzelm [Wed, 09 Aug 2000 21:00:22 +0200] rev 9564
added get_thms_closure, single_thm;
Wed, 09 Aug 2000 20:59:23 +0200 fixed classification of rules in atts and modifiers (final!?);
wenzelm [Wed, 09 Aug 2000 20:59:23 +0200] rev 9563
fixed classification of rules in atts and modifiers (final!?);
Wed, 09 Aug 2000 20:46:58 +0200 fixed mk_cases_i: TRYALL InductMethod.simp_case_tac;
wenzelm [Wed, 09 Aug 2000 20:46:58 +0200] rev 9562
fixed mk_cases_i: TRYALL InductMethod.simp_case_tac;
(0) -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip