| changeset 12926 | cd0dd6e0bf5c |
| parent 12365 | a90156701dad |
| child 12935 | d697091d1591 |
| 12925:99131847fb93 | 12926:cd0dd6e0bf5c |
|---|---|
159 "update_thy" |
159 "update_thy" |
160 "update_thy_only" |
160 "update_thy_only" |
161 "use" |
161 "use" |
162 "use_thy" |
162 "use_thy" |
163 "use_thy_only" |
163 "use_thy_only" |
164 "using" |
|
164 "welcome" |
165 "welcome" |
165 "with" |
166 "with" |
166 "{" |
167 "{" |
167 "}")) |
168 "}")) |
168 |
169 |
378 '("also" |
379 '("also" |
379 "let" |
380 "let" |
380 "moreover" |
381 "moreover" |
381 "note" |
382 "note" |
382 "txt" |
383 "txt" |
383 "txt_raw")) |
384 "txt_raw" |
385 "using")) |
|
384 |
386 |
385 (defconst isar-keywords-proof-asm |
387 (defconst isar-keywords-proof-asm |
386 '("assume" |
388 '("assume" |
387 "case" |
389 "case" |
388 "def" |
390 "def" |