src/HOL/Library/SML_Quickcheck.thy
changeset 37390 8781d80026fc
parent 33771 17926df64f0f
child 39252 8f176e575a49
     1.1 --- a/src/HOL/Library/SML_Quickcheck.thy	Thu Jun 10 12:24:01 2010 +0200
     1.2 +++ b/src/HOL/Library/SML_Quickcheck.thy	Thu Jun 10 12:24:02 2010 +0200
     1.3 @@ -6,7 +6,7 @@
     1.4  begin
     1.5  
     1.6  setup {*
     1.7 -  InductiveCodegen.quickcheck_setup #>
     1.8 +  Inductive_Codegen.quickcheck_setup #>
     1.9    Quickcheck.add_generator ("SML", Codegen.test_term)
    1.10  *}
    1.11