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