diff -r c13243a11e37 -r 719fbe4fb77f src/HOL/AxClasses/ROOT.ML
--- 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"];