equal
deleted
inserted
replaced
176 "rep_datatype" |
176 "rep_datatype" |
177 "sect" |
177 "sect" |
178 "section" |
178 "section" |
179 "setup" |
179 "setup" |
180 "show" |
180 "show" |
|
181 "simproc_setup" |
181 "sorry" |
182 "sorry" |
182 "specification" |
183 "specification" |
183 "subsect" |
184 "subsect" |
184 "subsection" |
185 "subsection" |
185 "subsubsect" |
186 "subsubsect" |
431 "recdef" |
432 "recdef" |
432 "record" |
433 "record" |
433 "refute_params" |
434 "refute_params" |
434 "rep_datatype" |
435 "rep_datatype" |
435 "setup" |
436 "setup" |
|
437 "simproc_setup" |
436 "syntax" |
438 "syntax" |
437 "text" |
439 "text" |
438 "text_raw" |
440 "text_raw" |
439 "theorems" |
441 "theorems" |
440 "token_translation" |
442 "token_translation" |