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-BNF + HOL-BNF-LFP + HOL-Bali + HOL-Decision_Procs + HOL-Imperative_HOL + HOL-Import + HOL-Library + HOL-Mutabelle + HOL-Nominal + HOL-Proofs + HOL-Proofs-Extraction + HOL-SPARK + HOL-Statespace + HOL-TPTP + HOL-ex + HOLCF + Pure. |
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-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 '("\\." |
35 "bnf" |
35 "bnf" |
36 "bundle" |
36 "bundle" |
37 "by" |
37 "by" |
38 "cannot_undo" |
38 "cannot_undo" |
39 "case" |
39 "case" |
|
40 "case_of_simps" |
40 "cd" |
41 "cd" |
41 "chapter" |
42 "chapter" |
42 "class" |
43 "class" |
43 "class_deps" |
44 "class_deps" |
44 "classes" |
45 "classes" |
238 "section" |
239 "section" |
239 "setup" |
240 "setup" |
240 "setup_lifting" |
241 "setup_lifting" |
241 "show" |
242 "show" |
242 "simproc_setup" |
243 "simproc_setup" |
|
244 "simps_of_case" |
243 "sledgehammer" |
245 "sledgehammer" |
244 "sledgehammer_params" |
246 "sledgehammer_params" |
245 "smt_status" |
247 "smt_status" |
246 "solve_direct" |
248 "solve_direct" |
247 "sorry" |
249 "sorry" |
482 "arities" |
484 "arities" |
483 "atom_decl" |
485 "atom_decl" |
484 "attribute_setup" |
486 "attribute_setup" |
485 "axiomatization" |
487 "axiomatization" |
486 "bundle" |
488 "bundle" |
|
489 "case_of_simps" |
487 "class" |
490 "class" |
488 "classes" |
491 "classes" |
489 "classrel" |
492 "classrel" |
490 "codatatype" |
493 "codatatype" |
491 "code_abort" |
494 "code_abort" |
566 "record" |
569 "record" |
567 "refute_params" |
570 "refute_params" |
568 "setup" |
571 "setup" |
569 "setup_lifting" |
572 "setup_lifting" |
570 "simproc_setup" |
573 "simproc_setup" |
|
574 "simps_of_case" |
571 "sledgehammer_params" |
575 "sledgehammer_params" |
572 "spark_end" |
576 "spark_end" |
573 "spark_open" |
577 "spark_open" |
574 "spark_open_siv" |
578 "spark_open_siv" |
575 "spark_open_vcg" |
579 "spark_open_vcg" |