diff options
| author |  Makarius Wenzel <makarius@sketis.net> | 1999-07-27 19:46:14 +0000 |
|---|---|---|
| committer | Makarius Wenzel <makarius@sketis.net> | 1999-07-27 19:46:14 +0000 |
| commit | d9ace008e48fd7218bb7abeab1d733581adfdf6e (patch) | |
| tree | 7f7b81912f237afad8938bd50bd793f625758396 /isar/isar-keywords.el | |
| parent | 5581d5997417c389ea44b37c901cd834016b914d (diff) | |
updated;
Diffstat (limited to 'isar/isar-keywords.el')
| -rw-r--r-- | isar/isar-keywords.el | 14 |
1 files changed, 10 insertions, 4 deletions
diff --git a/isar/isar-keywords.el b/isar/isar-keywords.el index 3757ffa3..c71bdf7a 100644 --- a/isar/isar-keywords.el +++ b/isar/isar-keywords.el @@ -29,11 +29,11 @@ "cd" "clear_undo" "exit" + "init_toplevel" "kill" "kill_proof" "quit" "redo" - "restart" "undo" "undos_proof")) @@ -51,18 +51,23 @@ "print_theory" "prop" "pwd" + "remove_thy" "term" "thm" + "touch_all_thys" + "touch_thy" "typ" "update_thy" + "update_thy_only" "use" "use_thy" "use_thy_only")) (defconst isar-keywords-theory-begin - '("context" - "theory" - "update_context")) + '("theory")) + +(defconst isar-keywords-theory-switch + '("context")) (defconst isar-keywords-theory-end '("end")) @@ -89,6 +94,7 @@ "defs" "global" "inductive" + "inductive_cases" "lemmas" "local" "nonterminals" |