equal
deleted
inserted
replaced
170 "pr" |
170 "pr" |
171 "prefer" |
171 "prefer" |
172 "presume" |
172 "presume" |
173 "pretty_setmargin" |
173 "pretty_setmargin" |
174 "prf" |
174 "prf" |
|
175 "primcorec" |
175 "primcorecursive" |
176 "primcorecursive" |
176 "primrec" |
177 "primrec" |
177 "primrec_new" |
178 "primrec_new" |
178 "print_abbrevs" |
179 "print_abbrevs" |
179 "print_antiquotations" |
180 "print_antiquotations" |
559 "oracle" |
560 "oracle" |
560 "overloading" |
561 "overloading" |
561 "parse_ast_translation" |
562 "parse_ast_translation" |
562 "parse_translation" |
563 "parse_translation" |
563 "partial_function" |
564 "partial_function" |
|
565 "primcorec" |
564 "primrec" |
566 "primrec" |
565 "primrec_new" |
567 "primrec_new" |
566 "print_ast_translation" |
568 "print_ast_translation" |
567 "print_translation" |
569 "print_translation" |
568 "quickcheck_generator" |
570 "quickcheck_generator" |