src/HOL/Metis.thy
changeset 58818 ee85e7b82d00
parent 56946 10d9bd4ea94f
child 58889 5b7a9633cfa8
     1.1 --- a/src/HOL/Metis.thy	Wed Oct 29 13:57:20 2014 +0100
     1.2 +++ b/src/HOL/Metis.thy	Wed Oct 29 14:05:36 2014 +0100
     1.3 @@ -44,8 +44,6 @@
     1.4  ML_file "Tools/Metis/metis_reconstruct.ML"
     1.5  ML_file "Tools/Metis/metis_tactic.ML"
     1.6  
     1.7 -setup {* Metis_Tactic.setup *}
     1.8 -
     1.9  hide_const (open) select fFalse fTrue fNot fComp fconj fdisj fimplies fAll fEx fequal lambda
    1.10  hide_fact (open) select_def not_atomize atomize_not_select not_atomize_select select_FalseI
    1.11    fFalse_def fTrue_def fNot_def fconj_def fdisj_def fimplies_def fAll_def fEx_def fequal_def