src/HOL/Quickcheck_Narrowing.thy
changeset 48901 5e0455e29339
parent 48891 c0eafbd55de3
child 49834 b27bbb021df1
     1.1 --- a/src/HOL/Quickcheck_Narrowing.thy	Thu Aug 23 12:44:52 2012 +0200
     1.2 +++ b/src/HOL/Quickcheck_Narrowing.thy	Thu Aug 23 12:55:23 2012 +0200
     1.3 @@ -5,9 +5,6 @@
     1.4  theory Quickcheck_Narrowing
     1.5  imports Quickcheck_Exhaustive
     1.6  keywords "find_unused_assms" :: diag
     1.7 -uses  (* FIXME session files *)
     1.8 -  ("Tools/Quickcheck/PNF_Narrowing_Engine.hs")
     1.9 -  ("Tools/Quickcheck/Narrowing_Engine.hs")
    1.10  begin
    1.11  
    1.12  subsection {* Counterexample generator *}