equal
deleted
inserted
replaced
218 "ultimately" |
218 "ultimately" |
219 "undo" |
219 "undo" |
220 "undos_proof" |
220 "undos_proof" |
221 "unfolding" |
221 "unfolding" |
222 "update_thy" |
222 "update_thy" |
223 "update_thy_only" |
|
224 "use" |
223 "use" |
225 "use_thy" |
224 "use_thy" |
226 "use_thy_only" |
|
227 "using" |
225 "using" |
228 "value" |
226 "value" |
229 "welcome" |
227 "welcome" |
230 "with" |
228 "with" |
231 "{" |
229 "{" |
353 "touch_all_thys" |
351 "touch_all_thys" |
354 "touch_child_thys" |
352 "touch_child_thys" |
355 "touch_thy" |
353 "touch_thy" |
356 "typ" |
354 "typ" |
357 "update_thy" |
355 "update_thy" |
358 "update_thy_only" |
|
359 "use" |
356 "use" |
360 "use_thy" |
357 "use_thy" |
361 "use_thy_only" |
|
362 "value" |
358 "value" |
363 "welcome")) |
359 "welcome")) |
364 |
360 |
365 (defconst isar-keywords-theory-begin |
361 (defconst isar-keywords-theory-begin |
366 '("theory")) |
362 '("theory")) |