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
Fri, 02 May 1997 10:19:19 +0200 Higher bound means much faster proof
paulson [Fri, 02 May 1997 10:19:19 +0200] rev 3093
Higher bound means much faster proof
Fri, 02 May 1997 10:18:50 +0200 More tracing. hyp_subst_tac allowed to fail
paulson [Fri, 02 May 1997 10:18:50 +0200] rev 3092
More tracing. hyp_subst_tac allowed to fail
Fri, 02 May 1997 10:17:44 +0200 New blast_tac call: made possible by bug fix involving equality substitution
paulson [Fri, 02 May 1997 10:17:44 +0200] rev 3091
New blast_tac call: made possible by bug fix involving equality substitution
Thu, 01 May 1997 10:28:10 +0200 No longer proves mutual_induct unless it is necessary.
paulson [Thu, 01 May 1997 10:28:10 +0200] rev 3090
No longer proves mutual_induct unless it is necessary. Previous version proved it, then threw it away...
(0) -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip