src/HOL/Nitpick.thy
changeset 54555 e8c5e95d338b
parent 54148 c8cc5ab4a863
child 55017 2df6ad1dbd66
     1.1 --- a/src/HOL/Nitpick.thy	Thu Nov 21 21:33:34 2013 +0100
     1.2 +++ b/src/HOL/Nitpick.thy	Thu Nov 21 21:33:34 2013 +0100
     1.3 @@ -8,7 +8,7 @@
     1.4  header {* Nitpick: Yet Another Counterexample Generator for Isabelle/HOL *}
     1.5  
     1.6  theory Nitpick
     1.7 -imports Hilbert_Choice List Map Quotient Record Sledgehammer
     1.8 +imports Map Record Sledgehammer
     1.9  keywords "nitpick" :: diag and "nitpick_params" :: thy_decl
    1.10  begin
    1.11