diff options
author | 1999-07-01 19:33:52 +0000 | |
---|---|---|
committer | 1999-07-01 19:33:52 +0000 | |
commit | 8d38911ba8cd2782d04256e4bf80f6cdc5ff3228 (patch) | |
tree | b23c911ef36633c730d15129caa295f383df056a /isar/isar-keywords.el | |
parent | a949f08421f654d25c6cf736e2e2b274e1a45fbd (diff) |
isar-keywords-proof-asm;
Diffstat (limited to 'isar/isar-keywords.el')
-rw-r--r-- | isar/isar-keywords.el | 11 |
1 files changed, 7 insertions, 4 deletions
diff --git a/isar/isar-keywords.el b/isar/isar-keywords.el index 0f51563d..1ed25826 100644 --- a/isar/isar-keywords.el +++ b/isar/isar-keywords.el @@ -145,14 +145,17 @@ (defconst isar-keywords-proof-chain '("finally" "from" - "then")) + "then" + "with")) (defconst isar-keywords-proof-decl '("also" - "assume" - "fix" "let" - "note" + "note")) + +(defconst isar-keywords-proof-asm + '("assume" + "fix" "presume")) (defconst isar-keywords-proof-script |