| changeset 30018 | 690c65b8ad1a |
| parent 29994 | 6ca6b6bd6e15 |
| child 30019 | a2f19e0a28b2 |
--- a/src/HOL/IsaMakefile Fri Feb 20 14:49:39 2009 +0100 +++ b/src/HOL/IsaMakefile Fri Feb 20 07:41:41 2009 -0800 @@ -339,6 +339,7 @@ Library/Random.thy Library/Quickcheck.thy \ Library/Poly_Deriv.thy \ Library/Polynomial.thy \ + Library/Product_plus.thy \ Library/Enum.thy Library/Float.thy $(SRC)/Tools/float.ML $(SRC)/HOL/Tools/float_arith.ML \ Library/reify_data.ML Library/reflection.ML @cd Library; $(ISABELLE_TOOL) usedir $(OUT)/HOL Library