undone the previous change: show_hyps not supported anymore
authorwebertj
Tue Sep 20 17:01:43 2005 +0200 (2005-09-20)
changeset 1752373571cefff44
parent 17522 8d25bb07d8ed
child 17524 42d56a6dec6e
undone the previous change: show_hyps not supported anymore
src/Pure/proof_general.ML
     1.1 --- a/src/Pure/proof_general.ML	Tue Sep 20 16:19:51 2005 +0200
     1.2 +++ b/src/Pure/proof_general.ML	Tue Sep 20 17:01:43 2005 +0200
     1.3 @@ -565,9 +565,6 @@
     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))]),