equal
deleted
inserted
replaced
196 "show" |
196 "show" |
197 "simproc_setup" |
197 "simproc_setup" |
198 "sledgehammer" |
198 "sledgehammer" |
199 "sorry" |
199 "sorry" |
200 "specification" |
200 "specification" |
|
201 "subclass" |
201 "subsect" |
202 "subsect" |
202 "subsection" |
203 "subsection" |
203 "subsubsect" |
204 "subsubsect" |
204 "subsubsection" |
205 "subsubsection" |
205 "syntax" |
206 "syntax" |
504 "nominal_inductive" |
505 "nominal_inductive" |
505 "nominal_primrec" |
506 "nominal_primrec" |
506 "pcpodef" |
507 "pcpodef" |
507 "recdef_tc" |
508 "recdef_tc" |
508 "specification" |
509 "specification" |
|
510 "subclass" |
509 "termination" |
511 "termination" |
510 "theorem" |
512 "theorem" |
511 "typedef")) |
513 "typedef")) |
512 |
514 |
513 (defconst isar-keywords-qed |
515 (defconst isar-keywords-qed |