--- a/src/ZF/Constructible/ROOT.ML Wed Aug 14 14:33:26 2002 +0200
+++ b/src/ZF/Constructible/ROOT.ML Thu Aug 15 21:36:26 2002 +0200
@@ -8,4 +8,4 @@
Build using isatool usedir -d pdf ZF Constructible
*)
-use_thy "Satisfies_absolute";
+use_thy "DPow_absolute";