etc/isar-keywords.el
changeset 21806 6086783d4214
parent 21732 4d4cde714500
child 22084 2fef69700f50
     1.1 --- a/etc/isar-keywords.el	Tue Dec 12 20:49:32 2006 +0100
     1.2 +++ b/etc/isar-keywords.el	Tue Dec 12 20:50:23 2006 +0100
     1.3 @@ -510,9 +510,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 @@ -550,7 +548,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"