# HG changeset patch
# User wenzelm
# Date 754235022 -3600
# Node ID 37025f8608a6f0f4ca9b49389a22927d33a02c63
# Parent  c5e636ca657698cebda4cfea2408d4f34d39de2b
*** empty log message ***

diff -r c5e636ca6576 -r 37025f8608a6 doc-src/Ref/ref.toc
--- 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}