--- a/src/HOL/AxClasses/ROOT.ML Tue Jul 31 22:21:18 2007 +0200
+++ b/src/HOL/AxClasses/ROOT.ML Tue Jul 31 22:21:20 2007 +0200
@@ -1,4 +1,3 @@
+(* $Id$ *)
-time_use_thy "Semigroups";
-time_use_thy "Group";
-time_use_thy "Product";
+use_thys ["Semigroups", "Group", "Product"];