etc/isar-keywords.el
changeset 36505 79c1d2bbe5a9
parent 36472 3e677ca1e564
child 37284 a1b0201584cd
     1.1 --- a/etc/isar-keywords.el	Thu Apr 29 16:53:08 2010 +0200
     1.2 +++ b/etc/isar-keywords.el	Thu Apr 29 16:55:22 2010 +0200
     1.3 @@ -273,6 +273,7 @@
     1.4      "values"
     1.5      "welcome"
     1.6      "with"
     1.7 +    "write"
     1.8      "{"
     1.9      "}"))
    1.10  
    1.11 @@ -628,7 +629,8 @@
    1.12      "txt"
    1.13      "txt_raw"
    1.14      "unfolding"
    1.15 -    "using"))
    1.16 +    "using"
    1.17 +    "write"))
    1.18  
    1.19  (defconst isar-keywords-proof-asm
    1.20    '("assume"