From 2a2eb0ba56f2c897bf0ed9a2a32b97fcb0deee04 Mon Sep 17 00:00:00 2001 From: Makarius Wenzel Date: Thu, 6 Jul 2000 10:13:46 +0000 Subject: tuned help-menu-entries; --- isar/isar.el | 6 +++--- 1 file 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]))))) -- cgit v1.2.3