src/HOL/IsaMakefile
changeset 13152 2a54f99b44b3
parent 13131 2d284f0dfd56
child 13159 2af7b94892ce
     1.1 --- a/src/HOL/IsaMakefile	Wed May 15 11:51:20 2002 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Wed May 15 13:49:51 2002 +0200
     1.3 @@ -79,7 +79,7 @@
     1.4    $(SRC)/Provers/splitter.ML $(SRC)/TFL/dcterm.ML $(SRC)/TFL/post.ML \
     1.5    $(SRC)/TFL/rules.ML $(SRC)/TFL/tfl.ML $(SRC)/TFL/thms.ML $(SRC)/TFL/thry.ML \
     1.6    $(SRC)/TFL/usyntax.ML $(SRC)/TFL/utils.ML \
     1.7 -  Datatype.thy Datatype_Universe.ML Datatype_Universe.thy Divides.ML \
     1.8 +  Datatype.thy Datatype_Universe.ML Datatype_Universe.thy Divides_lemmas.ML \
     1.9    Divides.thy Finite_Set.ML Finite_Set.thy Fun.ML Fun.thy Gfp.ML Gfp.thy \
    1.10    Hilbert_Choice.thy Hilbert_Choice_lemmas.ML HOL.ML \
    1.11    HOL.thy HOL_lemmas.ML Inductive.thy Integ/Bin.ML Integ/Bin.thy \