changeset 17850 | 6803625e71c4 |
parent 17552 | 744924bec974 |
child 18165 | cbed396ecb1c |
--- a/etc/isar-keywords.el Fri Oct 14 15:34:56 2005 +0200 +++ b/etc/isar-keywords.el Sat Oct 15 00:07:59 2005 +0200 @@ -74,6 +74,7 @@ "from" "full_prf" "global" + "guess" "have" "header" "hence" @@ -480,7 +481,8 @@ "presume")) (defconst isar-keywords-proof-asm-goal - '("obtain")) + '("guess" + "obtain")) (defconst isar-keywords-proof-script '("apply"