equal
deleted
inserted
replaced
157 "section" |
157 "section" |
158 "setup" |
158 "setup" |
159 "show" |
159 "show" |
160 "simproc_setup" |
160 "simproc_setup" |
161 "sorry" |
161 "sorry" |
|
162 "subclass" |
162 "subsect" |
163 "subsect" |
163 "subsection" |
164 "subsection" |
164 "subsubsect" |
165 "subsubsect" |
165 "subsubsection" |
166 "subsubsection" |
166 "syntax" |
167 "syntax" |
405 '("corollary" |
406 '("corollary" |
406 "instance" |
407 "instance" |
407 "instance_proof" |
408 "instance_proof" |
408 "interpretation" |
409 "interpretation" |
409 "lemma" |
410 "lemma" |
|
411 "subclass" |
410 "theorem")) |
412 "theorem")) |
411 |
413 |
412 (defconst isar-keywords-qed |
414 (defconst isar-keywords-qed |
413 '("\\." |
415 '("\\." |
414 "\\.\\." |
416 "\\.\\." |