equal
deleted
inserted
replaced
125 "local_setup" |
125 "local_setup" |
126 "locale" |
126 "locale" |
127 "method_setup" |
127 "method_setup" |
128 "moreover" |
128 "moreover" |
129 "next" |
129 "next" |
|
130 "nitpick" |
130 "no_notation" |
131 "no_notation" |
131 "no_syntax" |
132 "no_syntax" |
132 "no_translations" |
133 "no_translations" |
133 "nominal_datatype" |
134 "nominal_datatype" |
134 "nominal_inductive" |
135 "nominal_inductive" |
578 (defconst isar-keywords-proof-script |
579 (defconst isar-keywords-proof-script |
579 '("apply" |
580 '("apply" |
580 "apply_end" |
581 "apply_end" |
581 "back" |
582 "back" |
582 "defer" |
583 "defer" |
|
584 "nitpick" |
583 "prefer")) |
585 "prefer")) |
584 |
586 |
585 (provide 'isar-keywords) |
587 (provide 'isar-keywords) |