src/HOL/ex/ROOT.ML

--- a/src/HOL/ex/ROOT.ML	Wed Jun 24 13:59:45 1998 +0200
+++ b/src/HOL/ex/ROOT.ML	Thu Jun 25 13:57:34 1998 +0200
@@ -28,6 +28,8 @@
 time_use_thy "Qsort";
 time_use_thy "Puzzle";
 
+time_use_thy "IntRing";
+
 time_use     "set.ML";
 time_use_thy "MT";