src/HOL/Metis.thy
changeset 39947 f95834c8bb4d
parent 39946 78faa9b31202
child 39953 aa54f347e5e2
     1.1 --- a/src/HOL/Metis.thy	Mon Oct 04 22:45:09 2010 +0200
     1.2 +++ b/src/HOL/Metis.thy	Mon Oct 04 22:51:53 2010 +0200
     1.3 @@ -29,7 +29,6 @@
     1.4  use "Tools/Metis/metis_translate.ML"
     1.5  use "Tools/Metis/metis_reconstruct.ML"
     1.6  use "Tools/Metis/metis_tactics.ML"
     1.7 -
     1.8  setup Metis_Tactics.setup
     1.9  
    1.10  end