changeset 19161 | b395f586633f |
parent 19097 | 2fc1a6da9366 |
child 19192 | ee5fde055c9a |
--- a/src/HOL/IsaMakefile Wed Mar 01 06:05:25 2006 +0100 +++ b/src/HOL/IsaMakefile Wed Mar 01 06:06:16 2006 +0100 @@ -77,6 +77,7 @@ $(SRC)/TFL/casesplit.ML $(SRC)/TFL/dcterm.ML $(SRC)/TFL/post.ML \ $(SRC)/TFL/rules.ML $(SRC)/TFL/tfl.ML $(SRC)/TFL/thms.ML \ $(SRC)/TFL/thry.ML $(SRC)/TFL/usyntax.ML $(SRC)/TFL/utils.ML \ + Tools/res_atpset.ML \ Binomial.thy Datatype.ML Datatype.thy \ Datatype_Universe.thy Divides.thy \ Equiv_Relations.thy Extraction.thy Finite_Set.ML Finite_Set.thy \