equal
deleted
inserted
replaced
87 "definition" |
87 "definition" |
88 "defs" |
88 "defs" |
89 "disable_pr" |
89 "disable_pr" |
90 "display_drafts" |
90 "display_drafts" |
91 "domain" |
91 "domain" |
|
92 "domain_isomorphism" |
92 "done" |
93 "done" |
93 "enable_pr" |
94 "enable_pr" |
94 "end" |
95 "end" |
95 "equivariance" |
96 "equivariance" |
96 "exit" |
97 "exit" |
133 "local" |
134 "local" |
134 "local_setup" |
135 "local_setup" |
135 "locale" |
136 "locale" |
136 "method_setup" |
137 "method_setup" |
137 "moreover" |
138 "moreover" |
|
139 "new_domain" |
138 "next" |
140 "next" |
139 "nitpick" |
141 "nitpick" |
140 "nitpick_params" |
142 "nitpick_params" |
141 "no_notation" |
143 "no_notation" |
142 "no_syntax" |
144 "no_syntax" |
468 "defaultsort" |
470 "defaultsort" |
469 "defer_recdef" |
471 "defer_recdef" |
470 "definition" |
472 "definition" |
471 "defs" |
473 "defs" |
472 "domain" |
474 "domain" |
|
475 "domain_isomorphism" |
473 "equivariance" |
476 "equivariance" |
474 "extract" |
477 "extract" |
475 "extract_type" |
478 "extract_type" |
476 "finalconsts" |
479 "finalconsts" |
477 "fixpat" |
480 "fixpat" |
486 "lemmas" |
489 "lemmas" |
487 "local" |
490 "local" |
488 "local_setup" |
491 "local_setup" |
489 "locale" |
492 "locale" |
490 "method_setup" |
493 "method_setup" |
|
494 "new_domain" |
491 "nitpick_params" |
495 "nitpick_params" |
492 "no_notation" |
496 "no_notation" |
493 "no_syntax" |
497 "no_syntax" |
494 "no_translations" |
498 "no_translations" |
495 "nominal_datatype" |
499 "nominal_datatype" |
506 "realizability" |
510 "realizability" |
507 "realizers" |
511 "realizers" |
508 "recdef" |
512 "recdef" |
509 "record" |
513 "record" |
510 "refute_params" |
514 "refute_params" |
|
515 "repdef" |
511 "setup" |
516 "setup" |
512 "simproc_setup" |
517 "simproc_setup" |
513 "statespace" |
518 "statespace" |
514 "syntax" |
519 "syntax" |
515 "text" |
520 "text" |
539 "nominal_inductive2" |
544 "nominal_inductive2" |
540 "nominal_primrec" |
545 "nominal_primrec" |
541 "pcpodef" |
546 "pcpodef" |
542 "recdef_tc" |
547 "recdef_tc" |
543 "rep_datatype" |
548 "rep_datatype" |
544 "repdef" |
|
545 "specification" |
549 "specification" |
546 "subclass" |
550 "subclass" |
547 "sublocale" |
551 "sublocale" |
548 "termination" |
552 "termination" |
549 "theorem" |
553 "theorem" |