equal
deleted
inserted
replaced
89 \item {\tt mutual_induct_tac}, \bold{29} |
89 \item {\tt mutual_induct_tac}, \bold{29} |
90 |
90 |
91 \indexspace |
91 \indexspace |
92 |
92 |
93 \item {\tt nat}, 2, \bold{16} |
93 \item {\tt nat}, 2, \bold{16} |
|
94 \item {\tt None}, \bold{32} |
|
95 |
|
96 \indexspace |
|
97 |
|
98 \item {\tt option}, \bold{32} |
94 |
99 |
95 \indexspace |
100 \indexspace |
96 |
101 |
97 \item parent theory, \bold{1} |
102 \item parent theory, \bold{1} |
98 \item primitive recursion, \bold{13} |
103 \item primitive recursion, \bold{13} |
112 \item {\tt show_types}, \bold{3}, 11 |
117 \item {\tt show_types}, \bold{3}, 11 |
113 \item {\tt Simp_tac}, \bold{20} |
118 \item {\tt Simp_tac}, \bold{20} |
114 \item {\tt simp_tac}, \bold{21} |
119 \item {\tt simp_tac}, \bold{21} |
115 \item simplifier, \bold{19} |
120 \item simplifier, \bold{19} |
116 \item simpset, \bold{20} |
121 \item simpset, \bold{20} |
|
122 \item {\tt Some}, \bold{32} |
117 |
123 |
118 \indexspace |
124 \indexspace |
119 |
125 |
120 \item tactic, \bold{11} |
126 \item tactic, \bold{11} |
121 \item term, \bold{3} |
127 \item term, \bold{3} |