1994-04-15 lcp [Fri, 15 Apr 1994 18:34:26 +0200] rev 328
penultimate Springer draft
doc-src/springer.tex

1994-04-15 lcp [Fri, 15 Apr 1994 18:10:49 +0200] rev 327
penultimate Springer draft
doc-src/Ref/undocumented.tex

1994-04-15 lcp [Fri, 15 Apr 1994 18:04:01 +0200] rev 326
penultimate Springer draft
doc-src/Ref/thm.tex

1994-04-15 lcp [Fri, 15 Apr 1994 17:50:14 +0200] rev 325
penultimate Springer draft
doc-src/Ref/theory-syntax.tex

1994-04-15 lcp [Fri, 15 Apr 1994 17:42:33 +0200] rev 324
penultimate Springer draft
doc-src/Ref/theories.tex

1994-04-15 lcp [Fri, 15 Apr 1994 17:16:23 +0200] rev 323
penultimate Springer draft
doc-src/Ref/ref.tex doc-src/Ref/simp.tex doc-src/Ref/simplifier.tex doc-src/Ref/substitution.tex doc-src/Ref/syntax.tex doc-src/Ref/tactic.tex doc-src/Ref/tctical.tex

1994-04-15 lcp [Fri, 15 Apr 1994 16:53:01 +0200] rev 322
penultimate Springer draft
doc-src/Ref/introduction.tex

1994-04-15 lcp [Fri, 15 Apr 1994 16:47:15 +0200] rev 321
penultimate Springer draft
doc-src/Ref/goals.tex

1994-04-15 lcp [Fri, 15 Apr 1994 16:37:59 +0200] rev 320
penultimate Springer draft
doc-src/Ref/defining.tex

1994-04-15 lcp [Fri, 15 Apr 1994 16:29:48 +0200] rev 319
penultimate Springer draft
doc-src/Ref/classical.tex