etc/isar-keywords-ZF.el
changeset 12926 cd0dd6e0bf5c
parent 12365 a90156701dad
child 12935 d697091d1591
     1.1 --- a/etc/isar-keywords-ZF.el	Fri Feb 22 11:26:44 2002 +0100
     1.2 +++ b/etc/isar-keywords-ZF.el	Sun Feb 24 21:44:43 2002 +0100
     1.3 @@ -161,6 +161,7 @@
     1.4      "use"
     1.5      "use_thy"
     1.6      "use_thy_only"
     1.7 +    "using"
     1.8      "welcome"
     1.9      "with"
    1.10      "{"
    1.11 @@ -380,7 +381,8 @@
    1.12      "moreover"
    1.13      "note"
    1.14      "txt"
    1.15 -    "txt_raw"))
    1.16 +    "txt_raw"
    1.17 +    "using"))
    1.18  
    1.19  (defconst isar-keywords-proof-asm
    1.20    '("assume"