equal
deleted
inserted
replaced
114 "moreover" |
114 "moreover" |
115 "next" |
115 "next" |
116 "no_syntax" |
116 "no_syntax" |
117 "no_translations" |
117 "no_translations" |
118 "nominal_datatype" |
118 "nominal_datatype" |
|
119 "nominal_inductive" |
119 "nominal_primrec" |
120 "nominal_primrec" |
120 "nonterminals" |
121 "nonterminals" |
121 "normal_form" |
122 "normal_form" |
122 "notation" |
123 "notation" |
123 "note" |
124 "note" |
419 "locale" |
420 "locale" |
420 "method_setup" |
421 "method_setup" |
421 "no_syntax" |
422 "no_syntax" |
422 "no_translations" |
423 "no_translations" |
423 "nominal_datatype" |
424 "nominal_datatype" |
|
425 "nominal_inductive" |
424 "nonterminals" |
426 "nonterminals" |
425 "notation" |
427 "notation" |
426 "oracle" |
428 "oracle" |
427 "parse_ast_translation" |
429 "parse_ast_translation" |
428 "parse_translation" |
430 "parse_translation" |