diff -r 5fe72280a49f -r 75b92ff1d853 etc/isar-keywords.el
--- a/etc/isar-keywords.el	Fri Apr 26 11:04:46 2013 +0200
+++ b/etc/isar-keywords.el	Fri Apr 26 11:04:47 2013 +0200
@@ -295,7 +295,7 @@
     "values"
     "welcome"
     "with"
-    "wrap_data"
+    "wrap_free_constructors"
     "write"
     "{"
     "}"))
@@ -612,7 +612,7 @@
     "termination"
     "theorem"
     "typedef"
-    "wrap_data"))
+    "wrap_free_constructors"))
 
 (defconst isar-keywords-qed
   '("\\."