| changeset 3616 | fcd7e70258f7 |
| parent 3540 | acd60238f191 |
| child 3819 | 5a6a6f18b109 |
--- a/src/HOL/IsaMakefile Wed Aug 06 01:13:46 1997 +0200 +++ b/src/HOL/IsaMakefile Wed Aug 06 01:17:42 1997 +0200 @@ -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 thy_data.ML ../Pure/section_utils.ML \ + typedef.ML thy_syntax.ML ../Pure/section_utils.ML \ $(NAMES:%=%.thy) $(NAMES:%=%.ML) $(TFL:%=../TFL/%) \ $(PROVERS:%=../Provers/%)