1.1 --- a/src/HOL/HOL.thy	Fri Dec 21 20:29:32 2007 +0100
     1.2 +++ b/src/HOL/HOL.thy	Sat Dec 22 14:10:22 2007 +0100
     1.3 @@ -22,6 +22,7 @@
     1.4    "~~/src/Provers/eqsubst.ML"
     1.5    "~~/src/Provers/quantifier1.ML"
     1.6    ("simpdata.ML")
     1.7 +  "~~/src/Tools/random_word.ML"
     1.8    "~~/src/Tools/induct.ML"
     1.9    "~~/src/Tools/code/code_name.ML"
    1.10    "~~/src/Tools/code/code_funcgr.ML"