equal
deleted
inserted
replaced
1 ;; |
1 ;; |
2 ;; Keyword classification tables for Isabelle/Isar. |
2 ;; Keyword classification tables for Isabelle/Isar. |
3 ;; Generated from HOL + HOL-Auth + HOL-BNF + HOL-BNF-LFP + HOL-Bali + HOL-Decision_Procs + HOL-IMP + HOL-Imperative_HOL + HOL-Import + HOL-Library + HOL-Mutabelle + HOL-Nominal + HOL-Proofs + HOL-Proofs-Extraction + HOL-SPARK + HOL-Statespace + HOL-TPTP + HOL-Word-SMT_Examples + HOL-ex + HOLCF + Pure. |
3 ;; Generated from HOL + HOL-Auth + HOL-BNF + HOL-BNF-FP + HOL-Bali + HOL-Decision_Procs + HOL-IMP + HOL-Imperative_HOL + HOL-Import + HOL-Library + HOL-Mutabelle + HOL-Nominal + HOL-Proofs + HOL-Proofs-Extraction + HOL-SPARK + HOL-Statespace + HOL-TPTP + HOL-Word-SMT_Examples + HOL-ex + HOLCF + Pure. |
4 ;; *** DO NOT EDIT *** DO NOT EDIT *** DO NOT EDIT *** |
4 ;; *** DO NOT EDIT *** DO NOT EDIT *** DO NOT EDIT *** |
5 ;; |
5 ;; |
6 |
6 |
7 (defconst isar-keywords-major |
7 (defconst isar-keywords-major |
8 '("\\." |
8 '("\\." |
31 "attribute_setup" |
31 "attribute_setup" |
32 "ax_specification" |
32 "ax_specification" |
33 "axiomatization" |
33 "axiomatization" |
34 "back" |
34 "back" |
35 "bnf" |
35 "bnf" |
|
36 "bnf_decl" |
36 "boogie_file" |
37 "boogie_file" |
37 "bundle" |
38 "bundle" |
38 "by" |
39 "by" |
39 "cannot_undo" |
40 "cannot_undo" |
40 "case" |
41 "case" |
44 "class" |
45 "class" |
45 "class_deps" |
46 "class_deps" |
46 "classes" |
47 "classes" |
47 "classrel" |
48 "classrel" |
48 "codatatype" |
49 "codatatype" |
49 "code_abort" |
|
50 "code_class" |
50 "code_class" |
51 "code_const" |
51 "code_const" |
52 "code_datatype" |
52 "code_datatype" |
53 "code_deps" |
53 "code_deps" |
54 "code_identifier" |
54 "code_identifier" |
484 "adhoc_overloading" |
484 "adhoc_overloading" |
485 "arities" |
485 "arities" |
486 "atom_decl" |
486 "atom_decl" |
487 "attribute_setup" |
487 "attribute_setup" |
488 "axiomatization" |
488 "axiomatization" |
|
489 "bnf_decl" |
489 "boogie_file" |
490 "boogie_file" |
490 "bundle" |
491 "bundle" |
491 "case_of_simps" |
492 "case_of_simps" |
492 "class" |
493 "class" |
493 "classes" |
494 "classes" |
494 "classrel" |
495 "classrel" |
495 "codatatype" |
496 "codatatype" |
496 "code_abort" |
|
497 "code_class" |
497 "code_class" |
498 "code_const" |
498 "code_const" |
499 "code_datatype" |
499 "code_datatype" |
500 "code_identifier" |
500 "code_identifier" |
501 "code_include" |
501 "code_include" |