etc/isar-keywords-ZF.el
changeset 36521 79c1d2bbe5a9
parent 36455 30f96b4b108b
child 38272 d104dedacd9e
     1.1 --- a/etc/isar-keywords-ZF.el	Thu Apr 29 16:53:08 2010 +0200
     1.2 +++ b/etc/isar-keywords-ZF.el	Thu Apr 29 16:55:22 2010 +0200
     1.3 @@ -210,6 +210,7 @@
     1.4      "using"
     1.5      "welcome"
     1.6      "with"
     1.7 +    "write"
     1.8      "{"
     1.9      "}"))
    1.10  
    1.11 @@ -486,7 +487,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"