| changeset 4081 | f759352f669f |
| parent 3981 | b4f93a8da835 |
| child 4263 | a434327aef8b |
--- a/src/HOL/IsaMakefile Mon Nov 03 11:56:53 1997 +0100 +++ b/src/HOL/IsaMakefile Mon Nov 03 12:03:13 1997 +0100 @@ -21,7 +21,7 @@ FILES = ROOT.ML add_ind_def.ML datatype.ML hologic.ML \ ind_syntax.ML cladata.ML simpdata.ML \ - typedef.ML thy_syntax.ML ../Pure/section_utils.ML \ + typedef.ML thy_syntax.ML thy_data.ML ../Pure/section_utils.ML \ $(NAMES:%=%.thy) $(NAMES:%=%.ML) $(TFL:%=../TFL/%) \ $(PROVERS:%=../Provers/%)