etc/isar-keywords.el
changeset 51789 75b92ff1d853
parent 51691 69e3bc394f09
child 51804 be6e703908f4
     1.1 --- a/etc/isar-keywords.el	Fri Apr 26 11:04:46 2013 +0200
     1.2 +++ b/etc/isar-keywords.el	Fri Apr 26 11:04:47 2013 +0200
     1.3 @@ -295,7 +295,7 @@
     1.4      "values"
     1.5      "welcome"
     1.6      "with"
     1.7 -    "wrap_data"
     1.8 +    "wrap_free_constructors"
     1.9      "write"
    1.10      "{"
    1.11      "}"))
    1.12 @@ -612,7 +612,7 @@
    1.13      "termination"
    1.14      "theorem"
    1.15      "typedef"
    1.16 -    "wrap_data"))
    1.17 +    "wrap_free_constructors"))
    1.18  
    1.19  (defconst isar-keywords-qed
    1.20    '("\\."