Tue, 06 May 1997 13:49:29 +0200 fixed simplifier ex;
wenzelm [Tue, 06 May 1997 13:49:29 +0200] rev 3114
fixed simplifier ex;
Tue, 06 May 1997 13:43:54 +0200 SYNC;
wenzelm [Tue, 06 May 1997 13:43:54 +0200] rev 3113
SYNC;
Tue, 06 May 1997 13:42:28 +0200 fixed simplifier examples;
wenzelm [Tue, 06 May 1997 13:42:28 +0200] rev 3112
fixed simplifier examples;
Tue, 06 May 1997 13:33:33 +0200 Stupid bug in induct_tac caused warning to always appear.
nipkow [Tue, 06 May 1997 13:33:33 +0200] rev 3111
Stupid bug in induct_tac caused warning to always appear.
Tue, 06 May 1997 12:55:07 +0200 removed MLtrans, MLtext;
wenzelm [Tue, 06 May 1997 12:55:07 +0200] rev 3110
removed MLtrans, MLtext;
Tue, 06 May 1997 12:51:23 +0200 added \Pure, \CPure;
wenzelm [Tue, 06 May 1997 12:51:23 +0200] rev 3109
added \Pure, \CPure;
Tue, 06 May 1997 12:50:16 +0200 misc updates, tuning, cleanup;
wenzelm [Tue, 06 May 1997 12:50:16 +0200] rev 3108
misc updates, tuning, cleanup;
Mon, 05 May 1997 21:18:01 +0200 tuned;
wenzelm [Mon, 05 May 1997 21:18:01 +0200] rev 3107
tuned;
Mon, 05 May 1997 18:50:26 +0200 tuned;
wenzelm [Mon, 05 May 1997 18:50:26 +0200] rev 3106
tuned;
Mon, 05 May 1997 18:09:31 +0200 Cosmetic update of induct_tac; test first now.
nipkow [Mon, 05 May 1997 18:09:31 +0200] rev 3105
Cosmetic update of induct_tac; test first now.
(0) -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip