1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/doc-src/Tutorial/tutorial.ind	Wed Aug 26 16:57:49 1998 +0200
     1.3 @@ -0,0 +1,135 @@
     1.4 +\begin{theindex}
     1.5 +
     1.6 +  \item {\tt[]}, \bold{7}
     1.7 +  \item {\tt\#}, \bold{7}
     1.8 +  \item {\ttnot}, \bold{3}
     1.9 +  \item {\tt-->}, \bold{3}
    1.10 +  \item {\tt\&}, \bold{3}
    1.11 +  \item {\ttor}, \bold{3}
    1.12 +  \item {\tt?}, \bold{3}, 4
    1.13 +  \item {\ttall}, \bold{3}
    1.14 +  \item {\ttuniquex}, \bold{3}
    1.15 +  \item {\tt *}, \bold{17}
    1.16 +  \item {\tt +}, \bold{17}
    1.17 +  \item {\tt -}, \bold{17}
    1.18 +  \item {\tt <}, \bold{17}
    1.19 +  \item {\tt <=}, \bold{17}
    1.20 +  \item \ttlbr, \bold{9}
    1.21 +  \item \ttrbr, \bold{9}
    1.22 +  \item {\tt==>}, \bold{9}
    1.23 +  \item {\tt==}, \bold{18}
    1.24 +  \item {\tt\%}, \bold{3}
    1.25 +  \item {\tt =>}, \bold{2}
    1.26 +
    1.27 +  \indexspace
    1.28 +
    1.29 +  \item {\tt addsimps}, \bold{22}
    1.30 +  \item {\tt Addsplits}, \bold{24}
    1.31 +  \item {\tt addsplits}, \bold{24}
    1.32 +  \item {\tt Asm_full_simp_tac}, \bold{21}
    1.33 +  \item {\tt asm_full_simp_tac}, \bold{22}
    1.34 +  \item {\tt Asm_simp_tac}, \bold{21}
    1.35 +  \item {\tt asm_simp_tac}, \bold{22}
    1.36 +
    1.37 +  \indexspace
    1.38 +
    1.39 +  \item {\tt bool}, 2
    1.40 +
    1.41 +  \indexspace
    1.42 +
    1.43 +  \item {\tt case}, \bold{3}, 4, \bold{13}, 24
    1.44 +  \item {\tt constdefs}, \bold{18}
    1.45 +  \item {\tt consts}, \bold{7}
    1.46 +  \item {\tt context}, \bold{11}
    1.47 +  \item current theory, \bold{11}
    1.48 +
    1.49 +  \indexspace
    1.50 +
    1.51 +  \item {\tt datatype}, \bold{7}
    1.52 +  \item {\tt defs}, \bold{18}
    1.53 +  \item {\tt delsimps}, \bold{22}
    1.54 +  \item {\tt Delsplits}, \bold{24}
    1.55 +  \item {\tt delsplits}, \bold{24}
    1.56 +  \item {\tt div}, \bold{17}
    1.57 +
    1.58 +  \indexspace
    1.59 +
    1.60 +  \item {\tt exhaust_tac}, \bold{14}
    1.61 +
    1.62 +  \indexspace
    1.63 +
    1.64 +  \item {\tt False}, \bold{3}
    1.65 +  \item formula, \bold{3}
    1.66 +  \item {\tt Full_simp_tac}, \bold{21}
    1.67 +  \item {\tt full_simp_tac}, \bold{22}
    1.68 +
    1.69 +  \indexspace
    1.70 +
    1.71 +  \item {\tt hd}, \bold{12}
    1.72 +
    1.73 +  \indexspace
    1.74 +
    1.75 +  \item {\tt if}, \bold{3}, 4, 24
    1.76 +  \item {\tt infixr}, \bold{7}
    1.77 +  \item inner syntax, \bold{8}
    1.78 +
    1.79 +  \indexspace
    1.80 +
    1.81 +  \item {\tt LEAST}, \bold{17}
    1.82 +  \item {\tt let}, \bold{3}, 4, 23
    1.83 +  \item {\tt list}, 2
    1.84 +  \item loading theories, 12
    1.85 +
    1.86 +  \indexspace
    1.87 +
    1.88 +  \item {\tt Main}, \bold{2}
    1.89 +  \item measure function, \bold{29}
    1.90 +  \item {\tt mod}, \bold{17}
    1.91 +
    1.92 +  \indexspace
    1.93 +
    1.94 +  \item {\tt nat}, 2, \bold{17}
    1.95 +
    1.96 +  \indexspace
    1.97 +
    1.98 +  \item parent theory, \bold{1}
    1.99 +  \item primitive recursion, \bold{13}
   1.100 +  \item proof scripts, \bold{2}
   1.101 +
   1.102 +  \indexspace
   1.103 +
   1.104 +  \item {\tt recdef}, 29--31
   1.105 +  \item reloading theories, 12
   1.106 +
   1.107 +  \indexspace
   1.108 +
   1.109 +  \item schematic variable, \bold{4}
   1.110 +  \item {\tt set}, 2
   1.111 +  \item {\tt show_brackets}, \bold{4}
   1.112 +  \item {\tt show_types}, \bold{3}, 11
   1.113 +  \item {\tt Simp_tac}, \bold{21}
   1.114 +  \item {\tt simp_tac}, \bold{22}
   1.115 +  \item simplifier, \bold{20}
   1.116 +  \item simpset, \bold{21}
   1.117 +
   1.118 +  \indexspace
   1.119 +
   1.120 +  \item tactic, \bold{11}
   1.121 +  \item term, \bold{3}
   1.122 +  \item theory, \bold{1}
   1.123 +  \item {\tt tl}, \bold{12}
   1.124 +  \item total, \bold{7}
   1.125 +  \item tracing the simplifier, \bold{25}
   1.126 +  \item {\tt True}, \bold{3}
   1.127 +  \item type constraints, \bold{3}
   1.128 +  \item type inference, \bold{3}
   1.129 +  \item type synonyms, \bold{18}
   1.130 +  \item {\tt types}, \bold{18}
   1.131 +
   1.132 +  \indexspace
   1.133 +
   1.134 +  \item unknown, \bold{4}
   1.135 +  \item {\tt update}, \bold{12}
   1.136 +  \item {\tt use_thy}, \bold{2}, 12
   1.137 +
   1.138 +\end{theindex}