1997-05-02 berghofe [Fri, 02 May 1997 16:21:04 +0200] rev 3097
New version of rail.sty for LaTeX 2e
doc-src/rail.sty

1997-05-02 berghofe [Fri, 02 May 1997 16:18:49 +0200] rev 3096
Updated to LaTeX 2e
doc-src/Intro/Makefile doc-src/Intro/intro.ind doc-src/Intro/intro.tex doc-src/Logics/CTT.tex doc-src/Logics/Makefile doc-src/Logics/logics.ind doc-src/Logics/logics.rao doc-src/Logics/logics.tex doc-src/iman.sty doc-src/sedindex

1997-05-02 berghofe [Fri, 02 May 1997 16:18:11 +0200] rev 3095
Version of the proof macros for LaTeX 2e
doc-src/proof.sty

1997-05-02 berghofe [Fri, 02 May 1997 16:16:22 +0200] rev 3094
This file is now replaced by proof.sty
doc-src/proof209.sty

1997-05-02 paulson [Fri, 02 May 1997 10:19:19 +0200] rev 3093
Higher bound means much faster proof
src/ZF/func.ML

1997-05-02 paulson [Fri, 02 May 1997 10:18:50 +0200] rev 3092
More tracing. hyp_subst_tac allowed to fail
src/Provers/blast.ML

1997-05-02 paulson [Fri, 02 May 1997 10:17:44 +0200] rev 3091
New blast_tac call: made possible by bug fix involving equality substitution
src/HOL/Sum.ML

1997-05-01 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...
src/ZF/indrule.ML

1997-04-30 paulson [Wed, 30 Apr 1997 16:36:59 +0200] rev 3089
Documented blast_tac
doc-src/Ref/classical.tex

1997-04-30 paulson [Wed, 30 Apr 1997 16:36:38 +0200] rev 3088
Automatic update
doc-src/Ref/ref.bbl