| changeset 30474 | 52e92009aacb |
| parent 30457 | 28b487cd9e15 |
| child 30499 | 1a1a9ca977d6 |
--- a/src/HOL/IsaMakefile Thu Mar 12 00:02:30 2009 +0100 +++ b/src/HOL/IsaMakefile Thu Mar 12 14:27:21 2009 +0100 @@ -344,7 +344,8 @@ Library/Product_plus.thy \ Library/Product_Vector.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/reify_data.ML Library/reflection.ML \ + Library/LaTeXsugar.thy Library/OptionalSugar.thy @cd Library; $(ISABELLE_TOOL) usedir $(OUT)/HOL Library