1.1 --- a/etc/isar-keywords-ZF.el	Tue Dec 12 20:49:32 2006 +0100
     1.2 +++ b/etc/isar-keywords-ZF.el	Tue Dec 12 20:50:23 2006 +0100
     1.3 @@ -452,9 +452,7 @@
     1.4    '("have"
     1.5      "hence"
     1.6      "interpret"
     1.7 -    "invoke"
     1.8 -    "show"
     1.9 -    "thus"))
    1.10 +    "invoke"))
    1.11  
    1.12  (defconst isar-keywords-proof-block
    1.13    '("next"
    1.14 @@ -492,7 +490,9 @@
    1.15  
    1.16  (defconst isar-keywords-proof-asm-goal
    1.17    '("guess"
    1.18 -    "obtain"))
    1.19 +    "obtain"
    1.20 +    "show"
    1.21 +    "thus"))
    1.22  
    1.23  (defconst isar-keywords-proof-script
    1.24    '("apply"