--- a/src/HOL/IsaMakefile Fri Jan 26 00:14:25 2001 +0100
+++ b/src/HOL/IsaMakefile Fri Jan 26 00:15:36 2001 +0100
@@ -97,7 +97,7 @@
Tools/inductive_package.ML Tools/meson.ML Tools/numeral_syntax.ML \
Tools/primrec_package.ML Tools/recdef_package.ML \
Tools/record_package.ML Tools/svc_funcs.ML Tools/typedef_package.ML \
- Transitive_Closure.ML Transitive_Closure.thy Wellfounded_Recursion.ML \
+ Transitive_Closure.thy Transitive_Closure_lemmas.ML Wellfounded_Recursion.ML \
Wellfounded_Recursion.thy Wellfounded_Relations.ML \
Wellfounded_Relations.thy arith_data.ML blastdata.ML cladata.ML \
equalities.ML equalities.thy hologic.ML meson_lemmas.ML mono.ML \