equal
deleted
inserted
replaced
95 "local" |
95 "local" |
96 "locale" |
96 "locale" |
97 "method_setup" |
97 "method_setup" |
98 "moreover" |
98 "moreover" |
99 "next" |
99 "next" |
|
100 "no_notation" |
100 "no_syntax" |
101 "no_syntax" |
101 "no_translations" |
102 "no_translations" |
102 "nonterminals" |
103 "nonterminals" |
103 "notation" |
104 "notation" |
104 "note" |
105 "note" |
370 "judgment" |
371 "judgment" |
371 "lemmas" |
372 "lemmas" |
372 "local" |
373 "local" |
373 "locale" |
374 "locale" |
374 "method_setup" |
375 "method_setup" |
|
376 "no_notation" |
375 "no_syntax" |
377 "no_syntax" |
376 "no_translations" |
378 "no_translations" |
377 "nonterminals" |
379 "nonterminals" |
378 "notation" |
380 "notation" |
379 "oracle" |
381 "oracle" |