doc-src/Ref/ref.toc
changeset 152 37025f8608a6
parent 150 919a03a587eb
child 359 b5a2e9503a7a
--- a/doc-src/Ref/ref.toc	Thu Nov 25 14:42:46 1993 +0100
+++ b/doc-src/Ref/ref.toc	Thu Nov 25 14:43:42 1993 +0100
@@ -136,8 +136,8 @@
 \contentsline {subsection}{The subgoaler}{61}
 \contentsline {subsection}{The solver}{62}
 \contentsline {subsection}{The looper}{62}
-\contentsline {section}{\numberline {8.2}The simplification tactics}{63}
-\contentsline {section}{\numberline {8.3}Example: using the simplifier}{64}
+\contentsline {section}{\numberline {8.2}The simplification tactics}{62}
+\contentsline {section}{\numberline {8.3}Example: using the simplifier}{63}
 \contentsline {chapter}{\numberline {9}The classical theorem prover}{67}
 \contentsline {section}{\numberline {9.1}The sequent calculus}{67}
 \contentsline {section}{\numberline {9.2}Simulating sequents by natural deduction}{68}