From d3db46f18e89fd41418378ff807b7f9b69fa5cb8 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Mon, 27 Mar 2000 14:18:06 +0000
Subject: removed 'variables'; added 'ultimately';

---
 isar/isar-keywords.el | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/isar/isar-keywords.el b/isar/isar-keywords.el
index 9797e95e..8f9688ed 100644
--- a/isar/isar-keywords.el
+++ b/isar/isar-keywords.el
@@ -135,8 +135,7 @@
     "translations"
     "typed_print_translation"
     "typedecl"
-    "types"
-    "variables"))
+    "types"))
 
 (defconst isar-keywords-theory-goal
   '("instance"
@@ -172,6 +171,7 @@
   '("finally"
     "from"
     "then"
+    "ultimately"
     "with"))
 
 (defconst isar-keywords-proof-decl
-- 
cgit v1.2.3