added record.ML;

--- a/src/HOL/ROOT.ML	Wed Jan 14 10:31:32 1998 +0100
+++ b/src/HOL/ROOT.ML	Wed Jan 14 10:32:24 1998 +0100
@@ -39,6 +39,8 @@
 use_thy "Sum";
 use_thy "Gfp";
 
+use "record.ML";
+
 use "datatype.ML";
 use_thy "Arith";
 use "arith_data.ML";