src/HOL/arith_data.ML

--- a/src/HOL/arith_data.ML	Mon Dec 01 18:27:06 1997 +0100
+++ b/src/HOL/arith_data.ML	Mon Dec 01 18:27:43 1997 +0100
@@ -212,3 +212,6 @@
 
 
 end;
+
+
+open ArithData;