changeset 15531 | 08c8dad8e399 |
parent 15513 | 1a2aedd20d37 |
child 15570 | 8d8c70b41bab |
--- a/src/HOL/IsaMakefile Fri Feb 11 18:51:00 2005 +0100 +++ b/src/HOL/IsaMakefile Sun Feb 13 17:15:14 2005 +0100 @@ -82,7 +82,7 @@ $(SRC)/TFL/usyntax.ML $(SRC)/TFL/utils.ML \ $(SRC)/Provers/eqsubst.ML\ eqrule_HOL_data.ML\ - Datatype.thy Datatype_Universe.thy \ + Datatype.ML Datatype.thy Datatype_Universe.thy \ Divides.thy Equiv_Relations.thy Extraction.thy Finite_Set.ML Finite_Set.thy \ Fun.thy Gfp.thy Hilbert_Choice.thy HOL.ML \ HOL.thy Inductive.thy Infinite_Set.thy Integ/Numeral.thy \