src/HOL/Quickcheck_Narrowing.thy
changeset 58826 2ed2eaabe3df
parent 58813 625d04d4fd2a
child 58889 5b7a9633cfa8
     1.1 --- a/src/HOL/Quickcheck_Narrowing.thy	Wed Oct 29 17:01:44 2014 +0100
     1.2 +++ b/src/HOL/Quickcheck_Narrowing.thy	Wed Oct 29 19:01:49 2014 +0100
     1.3 @@ -197,8 +197,6 @@
     1.4  
     1.5  ML_file "Tools/Quickcheck/narrowing_generators.ML"
     1.6  
     1.7 -setup Narrowing_Generators.setup
     1.8 -
     1.9  definition narrowing_dummy_partial_term_of :: "('a :: partial_term_of) itself => narrowing_term => term"
    1.10  where
    1.11    "narrowing_dummy_partial_term_of = partial_term_of"