diff options
| -rw-r--r-- | isar/isar-keywords.el | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/isar/isar-keywords.el b/isar/isar-keywords.el index e54d0209..0f51563d 100644 --- a/isar/isar-keywords.el +++ b/isar/isar-keywords.el @@ -152,11 +152,12 @@ "assume" "fix" "let" - "note")) + "note" + "presume")) (defconst isar-keywords-proof-script - '("back" - "refine" - "then_refine")) + '("apply" + "back" + "then_apply")) (provide 'isar-keywords) |