src/ZF/Constructible/ROOT.ML

--- a/src/ZF/Constructible/ROOT.ML	Mon Jul 01 18:10:53 2002 +0200
+++ b/src/ZF/Constructible/ROOT.ML	Mon Jul 01 18:16:18 2002 +0200
@@ -9,3 +9,4 @@
 use_thy "Reflection";
 use_thy "WF_absolute";
 use_thy "L_axioms";
+use_thy "Datatype_absolute";