# HG changeset patch
# User blanchet
# Date 1366967087 -7200
# Node ID 75b92ff1d8533a79e4bed33a598ea3252b897b05
# Parent  5fe72280a49f2a49642be79e298659ac6dc1a8d1
updated keywords

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
   '("\\."