diff -r 59d5fe89f787 -r 9712294e60b9 doc-src/Tutorial/tutorial.ind
--- a/doc-src/Tutorial/tutorial.ind	Thu Nov 12 11:27:36 1998 +0100
+++ b/doc-src/Tutorial/tutorial.ind	Thu Nov 12 16:45:17 1998 +0100
@@ -23,13 +23,14 @@
 
   \indexspace
 
-  \item {\tt addsimps}, \bold{22}
-  \item {\tt Addsplits}, \bold{24}
-  \item {\tt addsplits}, \bold{24}
-  \item {\tt Asm_full_simp_tac}, \bold{21}
-  \item {\tt asm_full_simp_tac}, \bold{22}
-  \item {\tt Asm_simp_tac}, \bold{21}
-  \item {\tt asm_simp_tac}, \bold{22}
+  \item {\tt addsimps}, \bold{21}
+  \item {\tt Addsplits}, \bold{23}
+  \item {\tt addsplits}, \bold{23}
+  \item {\tt and}, \bold{28}
+  \item {\tt Asm_full_simp_tac}, \bold{20}
+  \item {\tt asm_full_simp_tac}, \bold{21}
+  \item {\tt Asm_simp_tac}, \bold{20}
+  \item {\tt asm_simp_tac}, \bold{21}
 
   \indexspace
 
@@ -37,7 +38,7 @@
 
   \indexspace
 
-  \item {\tt case}, \bold{3}, 4, \bold{13}, 24
+  \item {\tt case}, \bold{3}, 4, \bold{13}, 23
   \item {\tt constdefs}, \bold{18}
   \item {\tt consts}, \bold{7}
   \item {\tt context}, \bold{11}
@@ -45,11 +46,11 @@
 
   \indexspace
 
-  \item {\tt datatype}, \bold{7}
+  \item {\tt datatype}, \bold{7}, 28--32
   \item {\tt defs}, \bold{18}
-  \item {\tt delsimps}, \bold{22}
-  \item {\tt Delsplits}, \bold{24}
-  \item {\tt delsplits}, \bold{24}
+  \item {\tt delsimps}, \bold{21}
+  \item {\tt Delsplits}, \bold{23}
+  \item {\tt delsplits}, \bold{23}
   \item {\tt div}, \bold{17}
 
   \indexspace
@@ -60,8 +61,8 @@
 
   \item {\tt False}, \bold{3}
   \item formula, \bold{3}
-  \item {\tt Full_simp_tac}, \bold{21}
-  \item {\tt full_simp_tac}, \bold{22}
+  \item {\tt Full_simp_tac}, \bold{20}
+  \item {\tt full_simp_tac}, \bold{21}
 
   \indexspace
 
@@ -69,36 +70,38 @@
 
   \indexspace
 
-  \item {\tt if}, \bold{3}, 4, 24
+  \item {\tt if}, \bold{3}, 4, 23
   \item {\tt infixr}, \bold{7}
   \item inner syntax, \bold{8}
 
   \indexspace
 
   \item {\tt LEAST}, \bold{17}
-  \item {\tt let}, \bold{3}, 4, 23
+  \item {\tt let}, \bold{3}, 4, 22
   \item {\tt list}, 2
   \item loading theories, 12
 
   \indexspace
 
   \item {\tt Main}, \bold{2}
-  \item measure function, \bold{29}
+  \item measure function, \bold{35}
   \item {\tt mod}, \bold{17}
+  \item {\tt mutual_induct_tac}, \bold{29}
 
   \indexspace
 
-  \item {\tt nat}, 2, \bold{17}
+  \item {\tt nat}, 2, \bold{16}
 
   \indexspace
 
   \item parent theory, \bold{1}
   \item primitive recursion, \bold{13}
+  \item {\tt primrec}, 7, \bold{13}, 28--32
   \item proof scripts, \bold{2}
 
   \indexspace
 
-  \item {\tt recdef}, 29--31
+  \item {\tt recdef}, 34--37
   \item reloading theories, 12
 
   \indexspace
@@ -107,10 +110,10 @@
   \item {\tt set}, 2
   \item {\tt show_brackets}, \bold{4}
   \item {\tt show_types}, \bold{3}, 11
-  \item {\tt Simp_tac}, \bold{21}
-  \item {\tt simp_tac}, \bold{22}
-  \item simplifier, \bold{20}
-  \item simpset, \bold{21}
+  \item {\tt Simp_tac}, \bold{20}
+  \item {\tt simp_tac}, \bold{21}
+  \item simplifier, \bold{19}
+  \item simpset, \bold{20}
 
   \indexspace
 
@@ -119,7 +122,7 @@
   \item theory, \bold{1}
   \item {\tt tl}, \bold{12}
   \item total, \bold{7}
-  \item tracing the simplifier, \bold{25}
+  \item tracing the simplifier, \bold{24}
   \item {\tt True}, \bold{3}
   \item type constraints, \bold{3}
   \item type inference, \bold{3}