equal
deleted
inserted
replaced
35 "chapter" |
35 "chapter" |
36 "classes" |
36 "classes" |
37 "classrel" |
37 "classrel" |
38 "clear_undos" |
38 "clear_undos" |
39 "codatatype" |
39 "codatatype" |
|
40 "code_library" |
|
41 "code_module" |
40 "coinductive" |
42 "coinductive" |
41 "commit" |
43 "commit" |
42 "constdefs" |
44 "constdefs" |
43 "consts" |
45 "consts" |
44 "consts_code" |
46 "consts_code" |
61 "finalconsts" |
63 "finalconsts" |
62 "finally" |
64 "finally" |
63 "fix" |
65 "fix" |
64 "from" |
66 "from" |
65 "full_prf" |
67 "full_prf" |
66 "generate_code" |
|
67 "global" |
68 "global" |
68 "have" |
69 "have" |
69 "header" |
70 "header" |
70 "hence" |
71 "hence" |
71 "hide" |
72 "hide" |
184 |
185 |
185 (defconst isar-keywords-minor |
186 (defconst isar-keywords-minor |
186 '("advanced" |
187 '("advanced" |
187 "and" |
188 "and" |
188 "assumes" |
189 "assumes" |
|
190 "attach" |
189 "begin" |
191 "begin" |
190 "binder" |
192 "binder" |
191 "case_eqns" |
193 "case_eqns" |
192 "con_defs" |
194 "con_defs" |
193 "concl" |
195 "concl" |
194 "constrains" |
196 "constrains" |
|
197 "contains" |
195 "defines" |
198 "defines" |
196 "domains" |
199 "domains" |
197 "elimination" |
200 "elimination" |
|
201 "file" |
198 "files" |
202 "files" |
199 "fixes" |
203 "fixes" |
200 "imports" |
204 "imports" |
201 "in" |
205 "in" |
202 "includes" |
206 "includes" |
314 "axclass" |
318 "axclass" |
315 "axioms" |
319 "axioms" |
316 "classes" |
320 "classes" |
317 "classrel" |
321 "classrel" |
318 "codatatype" |
322 "codatatype" |
|
323 "code_library" |
|
324 "code_module" |
319 "coinductive" |
325 "coinductive" |
320 "constdefs" |
326 "constdefs" |
321 "consts" |
327 "consts" |
322 "consts_code" |
328 "consts_code" |
323 "datatype" |
329 "datatype" |
324 "defaultsort" |
330 "defaultsort" |
325 "defs" |
331 "defs" |
326 "extract" |
332 "extract" |
327 "extract_type" |
333 "extract_type" |
328 "finalconsts" |
334 "finalconsts" |
329 "generate_code" |
|
330 "global" |
335 "global" |
331 "hide" |
336 "hide" |
332 "inductive" |
337 "inductive" |
333 "judgment" |
338 "judgment" |
334 "lemmas" |
339 "lemmas" |