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" |
121 "next" |
119 "next" |
122 "no_syntax" |
120 "no_syntax" |
123 "no_translations" |
121 "no_translations" |
124 "nonterminals" |
122 "nonterminals" |
125 "normal_form" |
123 "normal_form" |
|
124 "notation" |
126 "note" |
125 "note" |
127 "obtain" |
126 "obtain" |
128 "oops" |
127 "oops" |
129 "oracle" |
128 "oracle" |
130 "parse_ast_translation" |
129 "parse_ast_translation" |
281 "sequential" |
280 "sequential" |
282 "shows" |
281 "shows" |
283 "signature" |
282 "signature" |
284 "states" |
283 "states" |
285 "structure" |
284 "structure" |
286 "target_atom" |
|
287 "to" |
285 "to" |
288 "transitions" |
286 "transitions" |
289 "transrel" |
287 "transrel" |
290 "unchecked" |
288 "unchecked" |
291 "uses" |
289 "uses" |
401 "classrel" |
399 "classrel" |
402 "code_abstype" |
400 "code_abstype" |
403 "code_axioms" |
401 "code_axioms" |
404 "code_class" |
402 "code_class" |
405 "code_const" |
403 "code_const" |
406 "code_constname" |
|
407 "code_instance" |
404 "code_instance" |
408 "code_instname" |
|
409 "code_library" |
405 "code_library" |
410 "code_module" |
406 "code_module" |
|
407 "code_modulename" |
|
408 "code_moduleprolog" |
411 "code_reserved" |
409 "code_reserved" |
412 "code_type" |
410 "code_type" |
413 "code_typename" |
|
414 "coinductive" |
411 "coinductive" |
415 "coinductive2" |
412 "coinductive2" |
416 "const_syntax" |
|
417 "constdefs" |
413 "constdefs" |
418 "consts" |
414 "consts" |
419 "consts_code" |
415 "consts_code" |
420 "datatype" |
416 "datatype" |
421 "defaultsort" |
417 "defaultsort" |
439 "locale" |
435 "locale" |
440 "method_setup" |
436 "method_setup" |
441 "no_syntax" |
437 "no_syntax" |
442 "no_translations" |
438 "no_translations" |
443 "nonterminals" |
439 "nonterminals" |
|
440 "notation" |
444 "oracle" |
441 "oracle" |
445 "parse_ast_translation" |
442 "parse_ast_translation" |
446 "parse_translation" |
443 "parse_translation" |
447 "primrec" |
444 "primrec" |
448 "print_ast_translation" |
445 "print_ast_translation" |