From 9a422e337c054f3498c3ddd1fdf141baea606705 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Mon, 28 Jun 1999 16:25:04 +0000
Subject: updated;

---
 isar/isar-keywords.el | 9 +++++----
 1 file 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)
-- 
cgit v1.2.3