compile
authorblanchet
Mon Jan 20 20:00:33 2014 +0100 (2014-01-20)
changeset 55082e60036c1c248
parent 55081 45c457a6b987
child 55083 0a689157e3ce
compile
src/HOL/Nitpick.thy
     1.1 --- a/src/HOL/Nitpick.thy	Mon Jan 20 19:53:10 2014 +0100
     1.2 +++ b/src/HOL/Nitpick.thy	Mon Jan 20 20:00:33 2014 +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 Map Record Sledgehammer Wfrec
     1.8 +imports BNF_FP_Base Map Record Sledgehammer
     1.9  keywords "nitpick" :: diag and "nitpick_params" :: thy_decl
    1.10  begin
    1.11