equal
deleted
inserted
replaced
120 "local" |
120 "local" |
121 "locale" |
121 "locale" |
122 "method_setup" |
122 "method_setup" |
123 "moreover" |
123 "moreover" |
124 "next" |
124 "next" |
|
125 "no_notation" |
125 "no_syntax" |
126 "no_syntax" |
126 "no_translations" |
127 "no_translations" |
127 "nominal_datatype" |
128 "nominal_datatype" |
128 "nominal_inductive" |
129 "nominal_inductive" |
129 "nominal_primrec" |
130 "nominal_primrec" |
457 "judgment" |
458 "judgment" |
458 "lemmas" |
459 "lemmas" |
459 "local" |
460 "local" |
460 "locale" |
461 "locale" |
461 "method_setup" |
462 "method_setup" |
|
463 "no_notation" |
462 "no_syntax" |
464 "no_syntax" |
463 "no_translations" |
465 "no_translations" |
464 "nominal_datatype" |
466 "nominal_datatype" |
465 "nonterminals" |
467 "nonterminals" |
466 "notation" |
468 "notation" |