diff options
| author |  Makarius Wenzel <makarius@sketis.net> | 1999-06-28 16:25:04 +0000 |
|---|---|---|
| committer | Makarius Wenzel <makarius@sketis.net> | 1999-06-28 16:25:04 +0000 |
| commit | 9a422e337c054f3498c3ddd1fdf141baea606705 (patch) | |
| tree | 36e360212368a7dd9febc4525c434a68324f371a /isar/isar-keywords.el | |
| parent | 525a910eafd490cab3336cbc41fb01ffc921bef8 (diff) | |
updated;
Diffstat (limited to 'isar/isar-keywords.el')
| -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) |