*** empty log message ***
authorwenzelm
Thu Nov 25 14:43:42 1993 +0100 (1993-11-25)
changeset 15237025f8608a6
parent 151 c5e636ca6576
child 153 0deb993885ce
*** empty log message ***
doc-src/Ref/ref.toc
     1.1 --- a/doc-src/Ref/ref.toc	Thu Nov 25 14:42:46 1993 +0100
     1.2 +++ b/doc-src/Ref/ref.toc	Thu Nov 25 14:43:42 1993 +0100
     1.3 @@ -136,8 +136,8 @@
     1.4  \contentsline {subsection}{The subgoaler}{61}
     1.5  \contentsline {subsection}{The solver}{62}
     1.6  \contentsline {subsection}{The looper}{62}
     1.7 -\contentsline {section}{\numberline {8.2}The simplification tactics}{63}
     1.8 -\contentsline {section}{\numberline {8.3}Example: using the simplifier}{64}
     1.9 +\contentsline {section}{\numberline {8.2}The simplification tactics}{62}
    1.10 +\contentsline {section}{\numberline {8.3}Example: using the simplifier}{63}
    1.11  \contentsline {chapter}{\numberline {9}The classical theorem prover}{67}
    1.12  \contentsline {section}{\numberline {9.1}The sequent calculus}{67}
    1.13  \contentsline {section}{\numberline {9.2}Simulating sequents by natural deduction}{68}