equal
deleted
inserted
replaced
154 "theorem" |
154 "theorem" |
155 "theorems" |
155 "theorems" |
156 "theory" |
156 "theory" |
157 "thm" |
157 "thm" |
158 "thm_deps" |
158 "thm_deps" |
159 "thms_containing" |
|
160 "thus" |
159 "thus" |
161 "token_translation" |
160 "token_translation" |
162 "touch_all_thys" |
161 "touch_all_thys" |
163 "touch_child_thys" |
162 "touch_child_thys" |
164 "touch_thy" |
163 "touch_thy" |
177 "update_thy_only" |
176 "update_thy_only" |
178 "use" |
177 "use" |
179 "use_thy" |
178 "use_thy" |
180 "use_thy_only" |
179 "use_thy_only" |
181 "using" |
180 "using" |
|
181 "value" |
182 "welcome" |
182 "welcome" |
183 "with" |
183 "with" |
184 "{" |
184 "{" |
185 "}")) |
185 "}")) |
186 |
186 |
285 "quickcheck" |
285 "quickcheck" |
286 "remove_thy" |
286 "remove_thy" |
287 "term" |
287 "term" |
288 "thm" |
288 "thm" |
289 "thm_deps" |
289 "thm_deps" |
290 "thms_containing" |
|
291 "touch_all_thys" |
290 "touch_all_thys" |
292 "touch_child_thys" |
291 "touch_child_thys" |
293 "touch_thy" |
292 "touch_thy" |
294 "typ" |
293 "typ" |
295 "update_thy" |
294 "update_thy" |
296 "update_thy_only" |
295 "update_thy_only" |
297 "use" |
296 "use" |
298 "use_thy" |
297 "use_thy" |
299 "use_thy_only" |
298 "use_thy_only" |
|
299 "value" |
300 "welcome")) |
300 "welcome")) |
301 |
301 |
302 (defconst isar-keywords-theory-begin |
302 (defconst isar-keywords-theory-begin |
303 '("theory")) |
303 '("theory")) |
304 |
304 |