equal
deleted
inserted
replaced
218 "refute" |
218 "refute" |
219 "refute_params" |
219 "refute_params" |
220 "remove_thy" |
220 "remove_thy" |
221 "rep_datatype" |
221 "rep_datatype" |
222 "repdef" |
222 "repdef" |
|
223 "schematic_corollary" |
|
224 "schematic_lemma" |
|
225 "schematic_theorem" |
223 "sect" |
226 "sect" |
224 "section" |
227 "section" |
225 "setup" |
228 "setup" |
226 "show" |
229 "show" |
227 "simproc_setup" |
230 "simproc_setup" |
568 "nominal_primrec" |
571 "nominal_primrec" |
569 "pcpodef" |
572 "pcpodef" |
570 "quotient_type" |
573 "quotient_type" |
571 "recdef_tc" |
574 "recdef_tc" |
572 "rep_datatype" |
575 "rep_datatype" |
|
576 "schematic_corollary" |
|
577 "schematic_lemma" |
|
578 "schematic_theorem" |
573 "specification" |
579 "specification" |
574 "subclass" |
580 "subclass" |
575 "sublocale" |
581 "sublocale" |
576 "termination" |
582 "termination" |
577 "theorem" |
583 "theorem" |