equal
deleted
inserted
replaced
1 ;; |
1 ;; |
2 ;; Keyword classification tables for Isabelle/Isar. |
2 ;; Keyword classification tables for Isabelle/Isar. |
3 ;; Generated from Pure + Pure-ProofGeneral + HOL-Plain + HOL + HOLCF + IOA + HOL-Nominal + HOL-Statespace. |
3 ;; Generated from Pure + Pure-ProofGeneral + HOL + HOLCF + IOA + HOL-Nominal + HOL-Statespace. |
4 ;; *** DO NOT EDIT *** DO NOT EDIT *** DO NOT EDIT *** |
4 ;; *** DO NOT EDIT *** DO NOT EDIT *** DO NOT EDIT *** |
5 ;; |
5 ;; |
6 ;; $Id$ |
6 ;; $Id$ |
7 ;; |
7 ;; |
8 |
8 |
28 "apply" |
28 "apply" |
29 "apply_end" |
29 "apply_end" |
30 "arities" |
30 "arities" |
31 "assume" |
31 "assume" |
32 "atom_decl" |
32 "atom_decl" |
|
33 "atp_info" |
|
34 "atp_kill" |
|
35 "atp_setup" |
33 "automaton" |
36 "automaton" |
34 "ax_specification" |
37 "ax_specification" |
35 "axclass" |
38 "axclass" |
36 "axiomatization" |
39 "axiomatization" |
37 "axioms" |
40 "axioms" |
150 "prf" |
153 "prf" |
151 "primrec" |
154 "primrec" |
152 "print_abbrevs" |
155 "print_abbrevs" |
153 "print_antiquotations" |
156 "print_antiquotations" |
154 "print_ast_translation" |
157 "print_ast_translation" |
|
158 "print_atps" |
155 "print_attributes" |
159 "print_attributes" |
156 "print_binds" |
160 "print_binds" |
157 "print_cases" |
161 "print_cases" |
158 "print_claset" |
162 "print_claset" |
159 "print_classes" |
163 "print_classes" |
323 "undos_proof")) |
327 "undos_proof")) |
324 |
328 |
325 (defconst isar-keywords-diag |
329 (defconst isar-keywords-diag |
326 '("ML_command" |
330 '("ML_command" |
327 "ML_val" |
331 "ML_val" |
|
332 "atp_info" |
|
333 "atp_kill" |
328 "cd" |
334 "cd" |
329 "class_deps" |
335 "class_deps" |
330 "code_deps" |
336 "code_deps" |
331 "code_thms" |
337 "code_thms" |
332 "commit" |
338 "commit" |
343 "pr" |
349 "pr" |
344 "pretty_setmargin" |
350 "pretty_setmargin" |
345 "prf" |
351 "prf" |
346 "print_abbrevs" |
352 "print_abbrevs" |
347 "print_antiquotations" |
353 "print_antiquotations" |
|
354 "print_atps" |
348 "print_attributes" |
355 "print_attributes" |
349 "print_binds" |
356 "print_binds" |
350 "print_cases" |
357 "print_cases" |
351 "print_claset" |
358 "print_claset" |
352 "print_classes" |
359 "print_classes" |
404 (defconst isar-keywords-theory-decl |
411 (defconst isar-keywords-theory-decl |
405 '("ML" |
412 '("ML" |
406 "abbreviation" |
413 "abbreviation" |
407 "arities" |
414 "arities" |
408 "atom_decl" |
415 "atom_decl" |
|
416 "atp_setup" |
409 "automaton" |
417 "automaton" |
410 "axclass" |
418 "axclass" |
411 "axiomatization" |
419 "axiomatization" |
412 "axioms" |
420 "axioms" |
413 "class" |
421 "class" |