changeset 39432 | 12d1be8ff862 |
parent 39402 | 24d70f4e690d |
child 39452 | 70a57e40f795 |
--- a/src/HOL/IsaMakefile Wed Sep 15 20:07:41 2010 +0200 +++ b/src/HOL/IsaMakefile Wed Sep 15 20:47:14 2010 +0200 @@ -134,7 +134,6 @@ $(SRC)/Tools/nbe.ML \ $(SRC)/Tools/project_rule.ML \ $(SRC)/Tools/quickcheck.ML \ - $(SRC)/Tools/random_word.ML \ $(SRC)/Tools/value.ML \ HOL.thy \ Tools/hologic.ML \