updated keywords
authorblanchet
Fri Apr 26 11:04:47 2013 +0200 (2013-04-26)
changeset 5178975b92ff1d853
parent 51788 5fe72280a49f
child 51790 22517d04d20b
updated keywords
etc/isar-keywords.el
     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    '("\\."