# HG changeset patch
# User wenzelm
# Date 1379757831 -7200
# Node ID 46a2154f250c9f8b3acebcf1b9ca60ab8e10bfcc
# Parent  7e3aafebcdd0939b0084e60b51680325cb64cc1e
updated keywords;

diff -r 7e3aafebcdd0 -r 46a2154f250c etc/isar-keywords.el
--- 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"