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;
Fri, 02 May 1997 18:19:01 +0200 -P option (prune empty dirs);
wenzelm [Fri, 02 May 1997 18:19:01 +0200] rev 3099
-P option (prune empty dirs);
Fri, 02 May 1997 16:41:35 +0200 Updated to LaTeX 2e
berghofe [Fri, 02 May 1997 16:41:35 +0200] rev 3098
Updated to LaTeX 2e
Fri, 02 May 1997 16:21:04 +0200 New version of rail.sty for LaTeX 2e
berghofe [Fri, 02 May 1997 16:21:04 +0200] rev 3097
New version of rail.sty for LaTeX 2e
Fri, 02 May 1997 16:18:49 +0200 Updated to LaTeX 2e
berghofe [Fri, 02 May 1997 16:18:49 +0200] rev 3096
Updated to LaTeX 2e
Fri, 02 May 1997 16:18:11 +0200 Version of the proof macros for LaTeX 2e
berghofe [Fri, 02 May 1997 16:18:11 +0200] rev 3095
Version of the proof macros for LaTeX 2e
Fri, 02 May 1997 16:16:22 +0200 This file is now replaced by proof.sty
berghofe [Fri, 02 May 1997 16:16:22 +0200] rev 3094
This file is now replaced by proof.sty
(0) -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip