equal
deleted
inserted
replaced
29 "also" |
29 "also" |
30 "apply" |
30 "apply" |
31 "apply_end" |
31 "apply_end" |
32 "arities" |
32 "arities" |
33 "assume" |
33 "assume" |
|
34 "attribute_setup" |
34 "axclass" |
35 "axclass" |
35 "axiomatization" |
36 "axiomatization" |
36 "axioms" |
37 "axioms" |
37 "back" |
38 "back" |
38 "by" |
39 "by" |
347 |
348 |
348 (defconst isar-keywords-theory-decl |
349 (defconst isar-keywords-theory-decl |
349 '("ML" |
350 '("ML" |
350 "abbreviation" |
351 "abbreviation" |
351 "arities" |
352 "arities" |
|
353 "attribute_setup" |
352 "axclass" |
354 "axclass" |
353 "axiomatization" |
355 "axiomatization" |
354 "axioms" |
356 "axioms" |
355 "class" |
357 "class" |
356 "classes" |
358 "classes" |