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.
Mon, 05 May 1997 13:24:38 +0200 SYNC;
wenzelm [Mon, 05 May 1997 13:24:38 +0200] rev 3104
SYNC;
Mon, 05 May 1997 13:24:11 +0200 misc updates, tuning, cleanup;
wenzelm [Mon, 05 May 1997 13:24:11 +0200] rev 3103
misc updates, tuning, cleanup;
Mon, 05 May 1997 12:15:53 +0200 Some blast_tac calls; more needed
paulson [Mon, 05 May 1997 12:15:53 +0200] rev 3102
Some blast_tac calls; more needed
Mon, 05 May 1997 12:15:20 +0200 Again "norm" DOES NOT normalize bodies of abstractions
paulson [Mon, 05 May 1997 12:15:20 +0200] rev 3101
Again "norm" DOES NOT normalize bodies of abstractions Showterm (used for tracing) now follows variable instantiations (in order to make up for the "norm" change)
Fri, 02 May 1997 18:19:25 +0200 fixed comment;
wenzelm [Fri, 02 May 1997 18:19:25 +0200] rev 3100
fixed comment;
(0) -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip