equal
deleted
inserted
replaced
30 "attribute_setup" |
30 "attribute_setup" |
31 "ax_specification" |
31 "ax_specification" |
32 "axiomatization" |
32 "axiomatization" |
33 "axioms" |
33 "axioms" |
34 "back" |
34 "back" |
|
35 "bnf_codata" |
|
36 "bnf_data" |
|
37 "bnf_def" |
|
38 "bnf_of_typ" |
35 "boogie_end" |
39 "boogie_end" |
36 "boogie_open" |
40 "boogie_open" |
37 "boogie_status" |
41 "boogie_status" |
38 "boogie_vc" |
42 "boogie_vc" |
39 "bundle" |
43 "bundle" |
168 "print_abbrevs" |
172 "print_abbrevs" |
169 "print_antiquotations" |
173 "print_antiquotations" |
170 "print_ast_translation" |
174 "print_ast_translation" |
171 "print_attributes" |
175 "print_attributes" |
172 "print_binds" |
176 "print_binds" |
|
177 "print_bnfs" |
173 "print_bundles" |
178 "print_bundles" |
174 "print_cases" |
179 "print_cases" |
175 "print_claset" |
180 "print_claset" |
176 "print_classes" |
181 "print_classes" |
177 "print_codeproc" |
182 "print_codeproc" |
385 "prf" |
390 "prf" |
386 "print_abbrevs" |
391 "print_abbrevs" |
387 "print_antiquotations" |
392 "print_antiquotations" |
388 "print_attributes" |
393 "print_attributes" |
389 "print_binds" |
394 "print_binds" |
|
395 "print_bnfs" |
390 "print_bundles" |
396 "print_bundles" |
391 "print_cases" |
397 "print_cases" |
392 "print_claset" |
398 "print_claset" |
393 "print_classes" |
399 "print_classes" |
394 "print_codeproc" |
400 "print_codeproc" |
461 "arities" |
467 "arities" |
462 "atom_decl" |
468 "atom_decl" |
463 "attribute_setup" |
469 "attribute_setup" |
464 "axiomatization" |
470 "axiomatization" |
465 "axioms" |
471 "axioms" |
|
472 "bnf_codata" |
|
473 "bnf_data" |
|
474 "bnf_of_typ" |
466 "boogie_end" |
475 "boogie_end" |
467 "boogie_open" |
476 "boogie_open" |
468 "bundle" |
477 "bundle" |
469 "class" |
478 "class" |
470 "classes" |
479 "classes" |
566 '("inductive_cases" |
575 '("inductive_cases" |
567 "inductive_simps")) |
576 "inductive_simps")) |
568 |
577 |
569 (defconst isar-keywords-theory-goal |
578 (defconst isar-keywords-theory-goal |
570 '("ax_specification" |
579 '("ax_specification" |
|
580 "bnf_def" |
571 "boogie_vc" |
581 "boogie_vc" |
572 "code_pred" |
582 "code_pred" |
573 "corollary" |
583 "corollary" |
574 "cpodef" |
584 "cpodef" |
575 "enriched_type" |
585 "enriched_type" |