equal
deleted
inserted
replaced
138 "no_type_notation" |
138 "no_type_notation" |
139 "nominal_datatype" |
139 "nominal_datatype" |
140 "nominal_inductive" |
140 "nominal_inductive" |
141 "nominal_inductive2" |
141 "nominal_inductive2" |
142 "nominal_primrec" |
142 "nominal_primrec" |
143 "nonterminals" |
143 "nonterminal" |
144 "notation" |
144 "notation" |
145 "note" |
145 "note" |
146 "notepad" |
146 "notepad" |
147 "obtain" |
147 "obtain" |
148 "oops" |
148 "oops" |
248 "txt" |
248 "txt" |
249 "txt_raw" |
249 "txt_raw" |
250 "typ" |
250 "typ" |
251 "type_lifting" |
251 "type_lifting" |
252 "type_notation" |
252 "type_notation" |
|
253 "type_synonym" |
253 "typed_print_translation" |
254 "typed_print_translation" |
254 "typedecl" |
255 "typedecl" |
255 "typedef" |
256 "typedef" |
256 "types" |
257 "types" |
257 "types_code" |
258 "types_code" |
485 "no_notation" |
486 "no_notation" |
486 "no_syntax" |
487 "no_syntax" |
487 "no_translations" |
488 "no_translations" |
488 "no_type_notation" |
489 "no_type_notation" |
489 "nominal_datatype" |
490 "nominal_datatype" |
490 "nonterminals" |
491 "nonterminal" |
491 "notation" |
492 "notation" |
492 "notepad" |
493 "notepad" |
493 "oracle" |
494 "oracle" |
494 "overloading" |
495 "overloading" |
495 "parse_ast_translation" |
496 "parse_ast_translation" |
514 "text" |
515 "text" |
515 "text_raw" |
516 "text_raw" |
516 "theorems" |
517 "theorems" |
517 "translations" |
518 "translations" |
518 "type_notation" |
519 "type_notation" |
|
520 "type_synonym" |
519 "typed_print_translation" |
521 "typed_print_translation" |
520 "typedecl" |
522 "typedecl" |
521 "types" |
523 "types" |
522 "types_code" |
524 "types_code" |
523 "use")) |
525 "use")) |