diff options
| author |  Makarius Wenzel <makarius@sketis.net> | 1999-07-01 19:33:52 +0000 |
|---|---|---|
| committer | Makarius Wenzel <makarius@sketis.net> | 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 |