| changeset 33085 | c1b6cc29496b |
| parent 33083 | 1fad3160d873 |
| parent 33084 | cd1579e0997a |
| child 33098 | 3e9ae9032273 |
--- a/src/HOL/IsaMakefile Fri Oct 23 14:33:07 2009 +0200 +++ b/src/HOL/IsaMakefile Fri Oct 23 17:12:47 2009 +0200 @@ -359,7 +359,7 @@ Library/Enum.thy Library/Float.thy $(SRC)/Tools/float.ML \ $(SRC)/HOL/Tools/float_arith.ML Library/positivstellensatz.ML \ Library/reify_data.ML Library/reflection.ML Library/LaTeXsugar.thy \ - Library/OptionalSugar.thy + Library/OptionalSugar.thy Library/SML_Quickcheck.thy @cd Library; $(ISABELLE_TOOL) usedir $(OUT)/HOL Library