equal
deleted
inserted
replaced
125 "lemma" |
125 "lemma" |
126 "lemmas" |
126 "lemmas" |
127 "let" |
127 "let" |
128 "linear_undo" |
128 "linear_undo" |
129 "local" |
129 "local" |
|
130 "local_setup" |
130 "locale" |
131 "locale" |
131 "method_setup" |
132 "method_setup" |
132 "moreover" |
133 "moreover" |
133 "next" |
134 "next" |
134 "no_notation" |
135 "no_notation" |
466 "inductive_set" |
467 "inductive_set" |
467 "instantiation" |
468 "instantiation" |
468 "judgment" |
469 "judgment" |
469 "lemmas" |
470 "lemmas" |
470 "local" |
471 "local" |
|
472 "local_setup" |
471 "locale" |
473 "locale" |
472 "method_setup" |
474 "method_setup" |
473 "no_notation" |
475 "no_notation" |
474 "no_syntax" |
476 "no_syntax" |
475 "no_translations" |
477 "no_translations" |