new menu item show-sort-hypotheses to toggle show_hyps
authorwebertj
Tue Sep 20 15:12:40 2005 +0200 (2005-09-20)
changeset 175208581c151adea
parent 17519 9c10585a238c
child 17521 0f1c48de39f5
new menu item show-sort-hypotheses to toggle show_hyps
src/Pure/proof_general.ML
     1.1 --- a/src/Pure/proof_general.ML	Tue Sep 20 14:20:58 2005 +0200
     1.2 +++ b/src/Pure/proof_general.ML	Tue Sep 20 15:12:40 2005 +0200
     1.3 @@ -565,6 +565,9 @@
     1.4       ("show-main-goal",
     1.5        ("Show main goal in proof state display",
     1.6         bool_option Proof.show_main_goal)),
     1.7 +     ("show-sort-hypotheses",
     1.8 +      ("Include sort hypotheses in display of Isabelle theorems",
     1.9 +       bool_option show_hyps)),
    1.10       ("eta-contract",
    1.11        ("Print terms eta-contracted",
    1.12         bool_option Syntax.eta_contract))]),