equal
deleted
inserted
replaced
179 "rep_datatype" |
179 "rep_datatype" |
180 "sect" |
180 "sect" |
181 "section" |
181 "section" |
182 "setup" |
182 "setup" |
183 "show" |
183 "show" |
|
184 "simproc_setup" |
184 "sorry" |
185 "sorry" |
185 "specification" |
186 "specification" |
186 "subsect" |
187 "subsect" |
187 "subsection" |
188 "subsection" |
188 "subsubsect" |
189 "subsubsect" |
451 "recdef" |
452 "recdef" |
452 "record" |
453 "record" |
453 "refute_params" |
454 "refute_params" |
454 "rep_datatype" |
455 "rep_datatype" |
455 "setup" |
456 "setup" |
|
457 "simproc_setup" |
456 "syntax" |
458 "syntax" |
457 "text" |
459 "text" |
458 "text_raw" |
460 "text_raw" |
459 "theorems" |
461 "theorems" |
460 "token_translation" |
462 "token_translation" |