equal
deleted
inserted
replaced
1 ;; |
1 ;; |
2 ;; Keyword classification tables for Isabelle/Isar. |
2 ;; Keyword classification tables for Isabelle/Isar. |
3 ;; Generated from Pure + HOL + Pure-ProofGeneral + HOL-Nominal-test. |
3 ;; Generated from HOL + Pure + Pure-ProofGeneral + HOL-Nominal-test. |
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 '("\\." |
182 "qed" |
182 "qed" |
183 "quickcheck" |
183 "quickcheck" |
184 "quickcheck_params" |
184 "quickcheck_params" |
185 "quit" |
185 "quit" |
186 "quotient" |
186 "quotient" |
|
187 "quotient_def" |
187 "realizability" |
188 "realizability" |
188 "realizers" |
189 "realizers" |
189 "recdef" |
190 "recdef" |
190 "recdef_tc" |
191 "recdef_tc" |
191 "record" |
192 "record" |
454 "parse_translation" |
455 "parse_translation" |
455 "primrec" |
456 "primrec" |
456 "print_ast_translation" |
457 "print_ast_translation" |
457 "print_translation" |
458 "print_translation" |
458 "quickcheck_params" |
459 "quickcheck_params" |
|
460 "quotient_def" |
459 "realizability" |
461 "realizability" |
460 "realizers" |
462 "realizers" |
461 "recdef" |
463 "recdef" |
462 "record" |
464 "record" |
463 "refute_params" |
465 "refute_params" |