--- a/src/HOL/IsaMakefile Thu Dec 20 13:58:45 2007 +0100
+++ b/src/HOL/IsaMakefile Thu Dec 20 14:33:40 2007 +0100
@@ -87,11 +87,11 @@
$(SRC)/Provers/order.ML \
$(SRC)/Provers/project_rule.ML $(SRC)/Provers/quantifier1.ML \
$(SRC)/Provers/quasi.ML $(SRC)/Provers/splitter.ML \
- $(SRC)/Provers/trancl.ML $(SRC)/Tools/Metis/metis.ML\
- $(SRC)/Tools/code/code_funcgr.ML \
- $(SRC)/Tools/code/code_name.ML $(SRC)/Tools/code/code_package.ML \
- $(SRC)/Tools/code/code_target.ML $(SRC)/Tools/code/code_thingol.ML \
- $(SRC)/Tools/nbe.ML $(SRC)/Tools/rat.ML Tools/TFL/casesplit.ML ATP_Linkup.thy \
+ $(SRC)/Provers/trancl.ML $(SRC)/Tools/Metis/metis.ML \
+ $(SRC)/Tools/code/code_funcgr.ML $(SRC)/Tools/code/code_name.ML \
+ $(SRC)/Tools/code/code_package.ML $(SRC)/Tools/code/code_target.ML \
+ $(SRC)/Tools/code/code_thingol.ML $(SRC)/Tools/nbe.ML \
+ $(SRC)/Tools/random_word.ML $(SRC)/Tools/rat.ML Tools/TFL/casesplit.ML ATP_Linkup.thy \
Accessible_Part.thy Arith_Tools.thy Code_Setup.thy Datatype.thy \
Dense_Linear_Order.thy Divides.thy Equiv_Relations.thy Extraction.thy \
Finite_Set.thy Fun.thy FunDef.thy HOL.thy \