diff -r 69400c97d3bf -r a42bdc45130d src/HOL/ROOT.ML
--- a/src/HOL/ROOT.ML	Wed Apr 14 19:05:28 1999 +0200
+++ b/src/HOL/ROOT.ML	Wed Apr 14 19:07:04 1999 +0200
@@ -61,6 +61,7 @@
 cd "~~/src/TFL";
 use "sys.sml";
 cd "~~/src/HOL";
+use "Tools/recdef_package.ML";
 
 cd "Integ";
 use_thy "IntDef";