diff options
-rw-r--r-- | isar/isar-keywords.el | 4 |
1 files 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 |