src/ZF/Constructible/ROOT.ML

--- a/src/ZF/Constructible/ROOT.ML	Fri Jun 28 11:24:36 2002 +0200
+++ b/src/ZF/Constructible/ROOT.ML	Fri Jun 28 11:25:46 2002 +0200
@@ -7,5 +7,5 @@
 *)
 
 use_thy "Reflection";
-use_thy "WFrec";
+use_thy "WF_absolute";
 use_thy "L_axioms";