src/HOL/Nitpick.thy
changeset 39221 70fd4a3c41ed
parent 38393 7c045c03598f
child 39223 022f16801e4e
     1.1 --- a/src/HOL/Nitpick.thy	Mon Sep 06 16:50:29 2010 +0200
     1.2 +++ b/src/HOL/Nitpick.thy	Mon Sep 06 17:51:26 2010 +0200
     1.3 @@ -24,7 +24,6 @@
     1.4       ("Tools/Nitpick/nitpick.ML")
     1.5       ("Tools/Nitpick/nitpick_isar.ML")
     1.6       ("Tools/Nitpick/nitpick_tests.ML")
     1.7 -     ("Tools/Nitpick/minipick.ML")
     1.8  begin
     1.9  
    1.10  typedecl bisim_iterator
    1.11 @@ -237,7 +236,6 @@
    1.12  use "Tools/Nitpick/nitpick.ML"
    1.13  use "Tools/Nitpick/nitpick_isar.ML"
    1.14  use "Tools/Nitpick/nitpick_tests.ML"
    1.15 -use "Tools/Nitpick/minipick.ML"
    1.16  
    1.17  setup {* Nitpick_Isar.setup *}
    1.18