equal
deleted
inserted
replaced
200 "ultimately" |
200 "ultimately" |
201 "undo" |
201 "undo" |
202 "undos_proof" |
202 "undos_proof" |
203 "unfolding" |
203 "unfolding" |
204 "update_thy" |
204 "update_thy" |
205 "update_thy_only" |
|
206 "use" |
205 "use" |
207 "use_thy" |
206 "use_thy" |
208 "use_thy_only" |
|
209 "using" |
207 "using" |
210 "value" |
208 "value" |
211 "welcome" |
209 "welcome" |
212 "with" |
210 "with" |
213 "{" |
211 "{" |
331 "touch_all_thys" |
329 "touch_all_thys" |
332 "touch_child_thys" |
330 "touch_child_thys" |
333 "touch_thy" |
331 "touch_thy" |
334 "typ" |
332 "typ" |
335 "update_thy" |
333 "update_thy" |
336 "update_thy_only" |
|
337 "use" |
334 "use" |
338 "use_thy" |
335 "use_thy" |
339 "use_thy_only" |
|
340 "value" |
336 "value" |
341 "welcome")) |
337 "welcome")) |
342 |
338 |
343 (defconst isar-keywords-theory-begin |
339 (defconst isar-keywords-theory-begin |
344 '("theory")) |
340 '("theory")) |