src/HOL/Nitpick.thy
changeset 39223 022f16801e4e
parent 39198 f967a16dfcdd
parent 39221 70fd4a3c41ed
child 39302 d7728f65b353
     1.1 --- a/src/HOL/Nitpick.thy	Wed Sep 08 14:46:21 2010 +0200
     1.2 +++ b/src/HOL/Nitpick.thy	Wed Sep 08 16:01:06 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