equal
deleted
inserted
replaced
45 "clear_undos" |
45 "clear_undos" |
46 "code_abstype" |
46 "code_abstype" |
47 "code_axioms" |
47 "code_axioms" |
48 "code_class" |
48 "code_class" |
49 "code_const" |
49 "code_const" |
50 "code_constname" |
|
51 "code_gen" |
50 "code_gen" |
52 "code_instance" |
51 "code_instance" |
53 "code_instname" |
|
54 "code_library" |
52 "code_library" |
55 "code_module" |
53 "code_module" |
|
54 "code_modulename" |
|
55 "code_moduleprolog" |
56 "code_reserved" |
56 "code_reserved" |
57 "code_type" |
57 "code_type" |
58 "code_typename" |
|
59 "coinductive" |
58 "coinductive" |
60 "coinductive2" |
59 "coinductive2" |
61 "commit" |
60 "commit" |
62 "const_syntax" |
|
63 "constdefs" |
61 "constdefs" |
64 "consts" |
62 "consts" |
65 "consts_code" |
63 "consts_code" |
66 "context" |
64 "context" |
67 "corollary" |
65 "corollary" |
118 "no_syntax" |
116 "no_syntax" |
119 "no_translations" |
117 "no_translations" |
120 "nominal_datatype" |
118 "nominal_datatype" |
121 "nonterminals" |
119 "nonterminals" |
122 "normal_form" |
120 "normal_form" |
|
121 "notation" |
123 "note" |
122 "note" |
124 "obtain" |
123 "obtain" |
125 "oops" |
124 "oops" |
126 "oracle" |
125 "oracle" |
127 "parse_ast_translation" |
126 "parse_ast_translation" |
263 "overloaded" |
262 "overloaded" |
264 "permissive" |
263 "permissive" |
265 "sequential" |
264 "sequential" |
266 "shows" |
265 "shows" |
267 "structure" |
266 "structure" |
268 "target_atom" |
|
269 "unchecked" |
267 "unchecked" |
270 "uses" |
268 "uses" |
271 "where")) |
269 "where")) |
272 |
270 |
273 (defconst isar-keywords-control |
271 (defconst isar-keywords-control |
380 "classrel" |
378 "classrel" |
381 "code_abstype" |
379 "code_abstype" |
382 "code_axioms" |
380 "code_axioms" |
383 "code_class" |
381 "code_class" |
384 "code_const" |
382 "code_const" |
385 "code_constname" |
|
386 "code_instance" |
383 "code_instance" |
387 "code_instname" |
|
388 "code_library" |
384 "code_library" |
389 "code_module" |
385 "code_module" |
|
386 "code_modulename" |
|
387 "code_moduleprolog" |
390 "code_reserved" |
388 "code_reserved" |
391 "code_type" |
389 "code_type" |
392 "code_typename" |
|
393 "coinductive" |
390 "coinductive" |
394 "coinductive2" |
391 "coinductive2" |
395 "const_syntax" |
|
396 "constdefs" |
392 "constdefs" |
397 "consts" |
393 "consts" |
398 "consts_code" |
394 "consts_code" |
399 "datatype" |
395 "datatype" |
400 "defaultsort" |
396 "defaultsort" |
416 "method_setup" |
412 "method_setup" |
417 "no_syntax" |
413 "no_syntax" |
418 "no_translations" |
414 "no_translations" |
419 "nominal_datatype" |
415 "nominal_datatype" |
420 "nonterminals" |
416 "nonterminals" |
|
417 "notation" |
421 "oracle" |
418 "oracle" |
422 "parse_ast_translation" |
419 "parse_ast_translation" |
423 "parse_translation" |
420 "parse_translation" |
424 "primrec" |
421 "primrec" |
425 "print_ast_translation" |
422 "print_ast_translation" |