src/HOL/Sledgehammer.thy
changeset 48251 6cdcfbddc077
parent 48250 1065c307fafe
child 48288 255c6e1fd505
     1.1 --- a/src/HOL/Sledgehammer.thy	Wed Jul 11 21:43:19 2012 +0200
     1.2 +++ b/src/HOL/Sledgehammer.thy	Wed Jul 11 21:43:19 2012 +0200
     1.3 @@ -14,9 +14,9 @@
     1.4       "Tools/Sledgehammer/sledgehammer_fact.ML"
     1.5       "Tools/Sledgehammer/sledgehammer_filter_iter.ML"
     1.6       "Tools/Sledgehammer/sledgehammer_provers.ML"
     1.7 +     "Tools/Sledgehammer/sledgehammer_minimize.ML"
     1.8       "Tools/Sledgehammer/sledgehammer_filter_mash.ML"
     1.9       "Tools/Sledgehammer/sledgehammer_filter.ML"
    1.10 -     "Tools/Sledgehammer/sledgehammer_minimize.ML"
    1.11       "Tools/Sledgehammer/sledgehammer_run.ML"
    1.12       "Tools/Sledgehammer/sledgehammer_isar.ML"
    1.13  begin