changeset 53768 | 46a2154f250c |
parent 53651 | ee90c67502c9 |
child 53825 | fb66852b3227 |
--- a/etc/isar-keywords.el Fri Sep 20 22:39:30 2013 +0200 +++ b/etc/isar-keywords.el Sat Sep 21 12:03:51 2013 +0200 @@ -172,7 +172,7 @@ "presume" "pretty_setmargin" "prf" - "primcorec" + "primcorecursive" "primrec" "primrec_new" "print_abbrevs" @@ -615,7 +615,7 @@ "nominal_inductive2" "nominal_primrec" "pcpodef" - "primcorec" + "primcorecursive" "quotient_definition" "quotient_type" "recdef_tc"