src/HOL/Inductive.thy
changeset 54615 62fb5af93fe2
parent 54398 100c0eaf63d5
child 55534 b18bdcbda41b
     1.1 --- a/src/HOL/Inductive.thy	Mon Dec 02 20:31:54 2013 +0100
     1.2 +++ b/src/HOL/Inductive.thy	Mon Dec 02 20:31:54 2013 +0100
     1.3 @@ -274,7 +274,7 @@
     1.4  ML_file "Tools/Datatype/datatype_prop.ML"
     1.5  ML_file "Tools/Datatype/datatype_data.ML" setup Datatype_Data.setup
     1.6  ML_file "Tools/Datatype/rep_datatype.ML"
     1.7 -ML_file "Tools/Datatype/datatype_codegen.ML" setup Datatype_Codegen.setup
     1.8 +ML_file "Tools/Datatype/datatype_codegen.ML"
     1.9  ML_file "Tools/Datatype/primrec.ML"
    1.10  
    1.11  text{* Lambda-abstractions with pattern matching: *}