equal
deleted
inserted
replaced
43 "codatatype" |
43 "codatatype" |
44 "code_abstype" |
44 "code_abstype" |
45 "code_axioms" |
45 "code_axioms" |
46 "code_class" |
46 "code_class" |
47 "code_const" |
47 "code_const" |
48 "code_constname" |
|
49 "code_gen" |
48 "code_gen" |
50 "code_instance" |
49 "code_instance" |
51 "code_instname" |
|
52 "code_library" |
50 "code_library" |
53 "code_module" |
51 "code_module" |
|
52 "code_modulename" |
|
53 "code_moduleprolog" |
54 "code_reserved" |
54 "code_reserved" |
55 "code_type" |
55 "code_type" |
56 "code_typename" |
|
57 "coinductive" |
56 "coinductive" |
58 "commit" |
57 "commit" |
59 "const_syntax" |
|
60 "constdefs" |
58 "constdefs" |
61 "consts" |
59 "consts" |
62 "consts_code" |
60 "consts_code" |
63 "context" |
61 "context" |
64 "corollary" |
62 "corollary" |
109 "next" |
107 "next" |
110 "no_syntax" |
108 "no_syntax" |
111 "no_translations" |
109 "no_translations" |
112 "nonterminals" |
110 "nonterminals" |
113 "normal_form" |
111 "normal_form" |
|
112 "notation" |
114 "note" |
113 "note" |
115 "obtain" |
114 "obtain" |
116 "oops" |
115 "oops" |
117 "oracle" |
116 "oracle" |
118 "parse_ast_translation" |
117 "parse_ast_translation" |
244 "output" |
243 "output" |
245 "overloaded" |
244 "overloaded" |
246 "recursor_eqns" |
245 "recursor_eqns" |
247 "shows" |
246 "shows" |
248 "structure" |
247 "structure" |
249 "target_atom" |
|
250 "type_elims" |
248 "type_elims" |
251 "type_intros" |
249 "type_intros" |
252 "unchecked" |
250 "unchecked" |
253 "uses" |
251 "uses" |
254 "where")) |
252 "where")) |
362 "codatatype" |
360 "codatatype" |
363 "code_abstype" |
361 "code_abstype" |
364 "code_axioms" |
362 "code_axioms" |
365 "code_class" |
363 "code_class" |
366 "code_const" |
364 "code_const" |
367 "code_constname" |
|
368 "code_instance" |
365 "code_instance" |
369 "code_instname" |
|
370 "code_library" |
366 "code_library" |
371 "code_module" |
367 "code_module" |
|
368 "code_modulename" |
|
369 "code_moduleprolog" |
372 "code_reserved" |
370 "code_reserved" |
373 "code_type" |
371 "code_type" |
374 "code_typename" |
|
375 "coinductive" |
372 "coinductive" |
376 "const_syntax" |
|
377 "constdefs" |
373 "constdefs" |
378 "consts" |
374 "consts" |
379 "consts_code" |
375 "consts_code" |
380 "datatype" |
376 "datatype" |
381 "defaultsort" |
377 "defaultsort" |
393 "locale" |
389 "locale" |
394 "method_setup" |
390 "method_setup" |
395 "no_syntax" |
391 "no_syntax" |
396 "no_translations" |
392 "no_translations" |
397 "nonterminals" |
393 "nonterminals" |
|
394 "notation" |
398 "oracle" |
395 "oracle" |
399 "parse_ast_translation" |
396 "parse_ast_translation" |
400 "parse_translation" |
397 "parse_translation" |
401 "primrec" |
398 "primrec" |
402 "print_ast_translation" |
399 "print_ast_translation" |