equal
deleted
inserted
replaced
67 "context" |
67 "context" |
68 "corollary" |
68 "corollary" |
69 "cpodef" |
69 "cpodef" |
70 "datatype" |
70 "datatype" |
71 "datatype_new" |
71 "datatype_new" |
|
72 "datatype_new_compat" |
72 "declaration" |
73 "declaration" |
73 "declare" |
74 "declare" |
74 "def" |
75 "def" |
75 "default_sort" |
76 "default_sort" |
76 "defer" |
77 "defer" |
165 "pr" |
166 "pr" |
166 "prefer" |
167 "prefer" |
167 "presume" |
168 "presume" |
168 "pretty_setmargin" |
169 "pretty_setmargin" |
169 "prf" |
170 "prf" |
|
171 "primcorec" |
170 "primrec" |
172 "primrec" |
|
173 "primrec_new" |
171 "print_abbrevs" |
174 "print_abbrevs" |
172 "print_antiquotations" |
175 "print_antiquotations" |
173 "print_ast_translation" |
176 "print_ast_translation" |
174 "print_attributes" |
177 "print_attributes" |
175 "print_binds" |
178 "print_binds" |
343 "overloaded" |
346 "overloaded" |
344 "parametric" |
347 "parametric" |
345 "permissive" |
348 "permissive" |
346 "pervasive" |
349 "pervasive" |
347 "rep_compat" |
350 "rep_compat" |
|
351 "sequential" |
348 "shows" |
352 "shows" |
349 "structure" |
353 "structure" |
350 "type_class" |
354 "type_class" |
351 "type_constructor" |
355 "type_constructor" |
352 "unchecked" |
356 "unchecked" |
501 "coinductive_set" |
505 "coinductive_set" |
502 "consts" |
506 "consts" |
503 "context" |
507 "context" |
504 "datatype" |
508 "datatype" |
505 "datatype_new" |
509 "datatype_new" |
|
510 "datatype_new_compat" |
506 "declaration" |
511 "declaration" |
507 "declare" |
512 "declare" |
508 "default_sort" |
513 "default_sort" |
509 "defer_recdef" |
514 "defer_recdef" |
510 "definition" |
515 "definition" |
548 "overloading" |
553 "overloading" |
549 "parse_ast_translation" |
554 "parse_ast_translation" |
550 "parse_translation" |
555 "parse_translation" |
551 "partial_function" |
556 "partial_function" |
552 "primrec" |
557 "primrec" |
|
558 "primrec_new" |
553 "print_ast_translation" |
559 "print_ast_translation" |
554 "print_translation" |
560 "print_translation" |
555 "quickcheck_generator" |
561 "quickcheck_generator" |
556 "quickcheck_params" |
562 "quickcheck_params" |
557 "realizability" |
563 "realizability" |
599 "lift_definition" |
605 "lift_definition" |
600 "nominal_inductive" |
606 "nominal_inductive" |
601 "nominal_inductive2" |
607 "nominal_inductive2" |
602 "nominal_primrec" |
608 "nominal_primrec" |
603 "pcpodef" |
609 "pcpodef" |
|
610 "primcorec" |
604 "quotient_definition" |
611 "quotient_definition" |
605 "quotient_type" |
612 "quotient_type" |
606 "recdef_tc" |
613 "recdef_tc" |
607 "rep_datatype" |
614 "rep_datatype" |
608 "schematic_corollary" |
615 "schematic_corollary" |