equal
deleted
inserted
replaced
205 "sledgehammer" |
205 "sledgehammer" |
206 "sorry" |
206 "sorry" |
207 "specification" |
207 "specification" |
208 "statespace" |
208 "statespace" |
209 "subclass" |
209 "subclass" |
|
210 "sublocale" |
210 "subsect" |
211 "subsect" |
211 "subsection" |
212 "subsection" |
212 "subsubsect" |
213 "subsubsect" |
213 "subsubsection" |
214 "subsubsection" |
214 "syntax" |
215 "syntax" |
512 "pcpodef" |
513 "pcpodef" |
513 "recdef_tc" |
514 "recdef_tc" |
514 "rep_datatype" |
515 "rep_datatype" |
515 "specification" |
516 "specification" |
516 "subclass" |
517 "subclass" |
|
518 "sublocale" |
517 "termination" |
519 "termination" |
518 "theorem" |
520 "theorem" |
519 "typedef")) |
521 "typedef")) |
520 |
522 |
521 (defconst isar-keywords-qed |
523 (defconst isar-keywords-qed |