changeset 37390 | 8781d80026fc |
parent 37136 | e0c9d3e49e15 |
child 37677 | c5a8b612e571 |
--- a/src/HOL/Tools/inductive_set.ML Thu Jun 10 12:24:01 2010 +0200 +++ b/src/HOL/Tools/inductive_set.ML Thu Jun 10 12:24:02 2010 +0200 @@ -401,7 +401,7 @@ else thm in map preproc end; -fun code_ind_att optmod = to_pred_att [] #> InductiveCodegen.add optmod NONE; +fun code_ind_att optmod = to_pred_att [] #> Inductive_Codegen.add optmod NONE; (**** definition of inductive sets ****)