diff options
| author | Makarius Wenzel | 2000-07-06 10:13:46 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2000-07-06 10:13:46 +0000 |
| commit | 2a2eb0ba56f2c897bf0ed9a2a32b97fcb0deee04 (patch) | |
| tree | e4a2c2905d7b75284d8caa522648a025ad5bfc8d | |
| parent | 91e80a58a6e9a9c5e0da66dafb5c75f66d891c7f (diff) | |
tuned help-menu-entries;
| -rw-r--r-- | isar/isar.el | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/isar/isar.el b/isar/isar.el index 15953a72..9f281d99 100644 --- a/isar/isar.el +++ b/isar/isar.el @@ -42,15 +42,15 @@ (list ["antiquotations" (proof-shell-invisible-command "print_antiquotations") t] ["attributes" (proof-shell-invisible-command "print_attributes") t] + ["cases" (proof-shell-invisible-command "print_cases") t] ["classical rules" (proof-shell-invisible-command "print_claset") t] ["commands" (proof-shell-invisible-command "print_commands") t] - ["global theorems" (proof-shell-invisible-command "print_theorems") t] + ["facts" (proof-shell-invisible-command "print_facts") t] ["inner syntax" (proof-shell-invisible-command "print_syntax") t] - ["local contexts" (proof-shell-invisible-command "print_cases") t] - ["local theorems" (proof-shell-invisible-command "print_facts") t] ["methods" (proof-shell-invisible-command "print_methods") t] ["simplifier rules" (proof-shell-invisible-command "print_simpset") t] ["term bindings" (proof-shell-invisible-command "print_binds") t] + ["theorems" (proof-shell-invisible-command "print_theorems") t] ["transitivity rules" (proof-shell-invisible-command "print_trans_rules") t]))))) |