1.1 --- a/etc/isar-keywords-ZF.el	Fri Oct 14 15:34:56 2005 +0200
     1.2 +++ b/etc/isar-keywords-ZF.el	Sat Oct 15 00:07:59 2005 +0200
     1.3 @@ -67,6 +67,7 @@
     1.4      "from"
     1.5      "full_prf"
     1.6      "global"
     1.7 +    "guess"
     1.8      "have"
     1.9      "header"
    1.10      "hence"
    1.11 @@ -436,7 +437,8 @@
    1.12      "presume"))
    1.13  
    1.14  (defconst isar-keywords-proof-asm-goal
    1.15 -  '("obtain"))
    1.16 +  '("guess"
    1.17 +    "obtain"))
    1.18  
    1.19  (defconst isar-keywords-proof-script
    1.20    '("apply"