# HG changeset patch
# User lcp
# Date 799495745 -7200
# Node ID 504dad4d78430109c1928ee840c7cb96841deafb
# Parent  502a61cbf37b1c32353c4a55987d62e160403750
new version

diff -r 502a61cbf37b -r 504dad4d7843 doc-src/Intro/intro.toc
--- a/doc-src/Intro/intro.toc	Wed May 03 12:04:21 1995 +0200
+++ b/doc-src/Intro/intro.toc	Wed May 03 12:09:05 1995 +0200
@@ -51,7 +51,7 @@
 \contentsline {subsection}{\numberline {10.3}Deriving the $\neg $ introduction rule}{41}
 \contentsline {subsection}{\numberline {10.4}Deriving the $\neg $ elimination rule}{42}
 \contentsline {section}{\numberline {11}Defining theories}{44}
-\contentsline {subsection}{\numberline {11.1}Declaring constants and rules}{46}
+\contentsline {subsection}{\numberline {11.1}Declaring constants, definitions and rules}{46}
 \contentsline {subsection}{\numberline {11.2}Declaring type constructors}{46}
 \contentsline {subsection}{\numberline {11.3}Type synonyms}{48}
 \contentsline {subsection}{\numberline {11.4}Infix and mixfix operators}{48}