equal
deleted
inserted
replaced
101 "next" |
101 "next" |
102 "no_notation" |
102 "no_notation" |
103 "no_syntax" |
103 "no_syntax" |
104 "no_translations" |
104 "no_translations" |
105 "no_type_notation" |
105 "no_type_notation" |
106 "nonterminals" |
106 "nonterminal" |
107 "notation" |
107 "notation" |
108 "note" |
108 "note" |
109 "notepad" |
109 "notepad" |
110 "obtain" |
110 "obtain" |
111 "oops" |
111 "oops" |
187 "translations" |
187 "translations" |
188 "txt" |
188 "txt" |
189 "txt_raw" |
189 "txt_raw" |
190 "typ" |
190 "typ" |
191 "type_notation" |
191 "type_notation" |
|
192 "type_synonym" |
192 "typed_print_translation" |
193 "typed_print_translation" |
193 "typedecl" |
194 "typedecl" |
194 "types" |
195 "types" |
195 "types_code" |
196 "types_code" |
196 "ultimately" |
197 "ultimately" |
379 "method_setup" |
380 "method_setup" |
380 "no_notation" |
381 "no_notation" |
381 "no_syntax" |
382 "no_syntax" |
382 "no_translations" |
383 "no_translations" |
383 "no_type_notation" |
384 "no_type_notation" |
384 "nonterminals" |
385 "nonterminal" |
385 "notation" |
386 "notation" |
386 "notepad" |
387 "notepad" |
387 "oracle" |
388 "oracle" |
388 "overloading" |
389 "overloading" |
389 "parse_ast_translation" |
390 "parse_ast_translation" |
401 "text" |
402 "text" |
402 "text_raw" |
403 "text_raw" |
403 "theorems" |
404 "theorems" |
404 "translations" |
405 "translations" |
405 "type_notation" |
406 "type_notation" |
|
407 "type_synonym" |
406 "typed_print_translation" |
408 "typed_print_translation" |
407 "typedecl" |
409 "typedecl" |
408 "types" |
410 "types" |
409 "types_code" |
411 "types_code" |
410 "use")) |
412 "use")) |