1.1 --- a/src/HOL/IsaMakefile	Tue Nov 30 13:29:36 2004 +0100
     1.2 +++ b/src/HOL/IsaMakefile	Tue Nov 30 16:27:44 2004 +0100
     1.3 @@ -112,8 +112,7 @@
     1.4    Tools/specification_package.ML \
     1.5    Tools/split_rule.ML Tools/typedef_package.ML \
     1.6    Transitive_Closure.thy Transitive_Closure.ML Typedef.thy \
     1.7 -  Wellfounded_Recursion.thy Wellfounded_Relations.ML \
     1.8 -  Wellfounded_Relations.thy arith_data.ML antisym_setup.ML \
     1.9 +  Wellfounded_Recursion.thy Wellfounded_Relations.thy arith_data.ML antisym_setup.ML \
    1.10    blastdata.ML cladata.ML \
    1.11    document/root.tex hologic.ML simpdata.ML thy_syntax.ML
    1.12  	@$(ISATOOL) usedir -b -g true $(HOL_PROOF_OBJECTS) $(OUT)/Pure HOL