changeset 21806 | 6086783d4214 |
parent 21732 | 4d4cde714500 |
child 22066 | 78b151461b89 |
--- a/etc/isar-keywords-ZF.el Tue Dec 12 20:49:32 2006 +0100 +++ b/etc/isar-keywords-ZF.el Tue Dec 12 20:50:23 2006 +0100 @@ -452,9 +452,7 @@ '("have" "hence" "interpret" - "invoke" - "show" - "thus")) + "invoke")) (defconst isar-keywords-proof-block '("next" @@ -492,7 +490,9 @@ (defconst isar-keywords-proof-asm-goal '("guess" - "obtain")) + "obtain" + "show" + "thus")) (defconst isar-keywords-proof-script '("apply"