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...
Wed, 30 Apr 1997 16:36:59 +0200 Documented blast_tac
paulson [Wed, 30 Apr 1997 16:36:59 +0200] rev 3089
Documented blast_tac
Wed, 30 Apr 1997 16:36:38 +0200 Automatic update
paulson [Wed, 30 Apr 1997 16:36:38 +0200] rev 3088
Automatic update
Wed, 30 Apr 1997 16:33:43 +0200 Indexing for trace_simp
paulson [Wed, 30 Apr 1997 16:33:43 +0200] rev 3087
Indexing for trace_simp
(0) -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip