diff options
author | Makarius Wenzel <makarius@sketis.net> | 2000-03-27 14:18:06 +0000 |
---|---|---|
committer | Makarius Wenzel <makarius@sketis.net> | 2000-03-27 14:18:06 +0000 |
commit | d3db46f18e89fd41418378ff807b7f9b69fa5cb8 (patch) | |
tree | 5ad5143d002551c75906341d7ab51f319de95a59 /isar/isar-keywords.el | |
parent | 42fbbb15398e8ac1643e76afb4662e09acb9726d (diff) |
removed 'variables';
added 'ultimately';
Diffstat (limited to 'isar/isar-keywords.el')
-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 |