src/HOL/IsaMakefile
changeset 31459 ae39b7b2a68a
parent 31378 d1cbf6393964
child 31595 bd2f7211a420
     1.1 --- a/src/HOL/IsaMakefile	Thu Jun 04 16:11:04 2009 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Thu Jun 04 16:55:20 2009 +0200
     1.3 @@ -349,6 +349,7 @@
     1.4    Library/Preorder.thy \
     1.5    Library/Product_plus.thy \
     1.6    Library/Product_Vector.thy \
     1.7 +  Library/Tree.thy \
     1.8    Library/Enum.thy Library/Float.thy $(SRC)/Tools/float.ML $(SRC)/HOL/Tools/float_arith.ML \
     1.9    Library/reify_data.ML Library/reflection.ML \
    1.10    Library/LaTeXsugar.thy Library/OptionalSugar.thy