Now WO1_WO7 has a .thy file

--- a/src/ZF/AC/ROOT.ML	Thu Sep 10 17:42:44 1998 +0200
+++ b/src/ZF/AC/ROOT.ML	Thu Sep 10 17:49:14 1998 +0200
@@ -15,7 +15,7 @@
 
 time_use     "WO1_WO6.ML";
 time_use_thy "WO6_WO1";
-time_use     "WO1_WO7.ML";
+time_use_thy "WO1_WO7";
 time_use     "WO1_WO8.ML";
 
 time_use     "AC0_AC1.ML";