equal
deleted
inserted
replaced
60 "consts" |
60 "consts" |
61 "context" |
61 "context" |
62 "corollary" |
62 "corollary" |
63 "cpodef" |
63 "cpodef" |
64 "datatype" |
64 "datatype" |
|
65 "datatype_compat" |
65 "datatype_new" |
66 "datatype_new" |
66 "datatype_new_compat" |
|
67 "declaration" |
67 "declaration" |
68 "declare" |
68 "declare" |
69 "def" |
69 "def" |
70 "default_sort" |
70 "default_sort" |
71 "defer" |
71 "defer" |
152 "nonterminal" |
152 "nonterminal" |
153 "notation" |
153 "notation" |
154 "note" |
154 "note" |
155 "notepad" |
155 "notepad" |
156 "obtain" |
156 "obtain" |
|
157 "old_primrec" |
157 "oops" |
158 "oops" |
158 "oracle" |
159 "oracle" |
159 "overloading" |
160 "overloading" |
160 "parse_ast_translation" |
161 "parse_ast_translation" |
161 "parse_translation" |
162 "parse_translation" |
167 "pretty_setmargin" |
168 "pretty_setmargin" |
168 "prf" |
169 "prf" |
169 "primcorec" |
170 "primcorec" |
170 "primcorecursive" |
171 "primcorecursive" |
171 "primrec" |
172 "primrec" |
172 "primrec_new" |
|
173 "print_abbrevs" |
173 "print_abbrevs" |
174 "print_antiquotations" |
174 "print_antiquotations" |
175 "print_ast_translation" |
175 "print_ast_translation" |
176 "print_attributes" |
176 "print_attributes" |
177 "print_binds" |
177 "print_binds" |
498 "coinductive" |
498 "coinductive" |
499 "coinductive_set" |
499 "coinductive_set" |
500 "consts" |
500 "consts" |
501 "context" |
501 "context" |
502 "datatype" |
502 "datatype" |
|
503 "datatype_compat" |
503 "datatype_new" |
504 "datatype_new" |
504 "datatype_new_compat" |
|
505 "declaration" |
505 "declaration" |
506 "declare" |
506 "declare" |
507 "default_sort" |
507 "default_sort" |
508 "defer_recdef" |
508 "defer_recdef" |
509 "definition" |
509 "definition" |
544 "no_type_notation" |
544 "no_type_notation" |
545 "nominal_datatype" |
545 "nominal_datatype" |
546 "nonterminal" |
546 "nonterminal" |
547 "notation" |
547 "notation" |
548 "notepad" |
548 "notepad" |
|
549 "old_primrec" |
549 "oracle" |
550 "oracle" |
550 "overloading" |
551 "overloading" |
551 "parse_ast_translation" |
552 "parse_ast_translation" |
552 "parse_translation" |
553 "parse_translation" |
553 "partial_function" |
554 "partial_function" |
554 "primcorec" |
555 "primcorec" |
555 "primrec" |
556 "primrec" |
556 "primrec_new" |
|
557 "print_ast_translation" |
557 "print_ast_translation" |
558 "print_translation" |
558 "print_translation" |
559 "quickcheck_generator" |
559 "quickcheck_generator" |
560 "quickcheck_params" |
560 "quickcheck_params" |
561 "realizability" |
561 "realizability" |