src/ZF/ROOT.ML

--- a/src/ZF/ROOT.ML	Wed Jul 27 15:14:31 1994 +0200
+++ b/src/ZF/ROOT.ML	Wed Jul 27 15:33:42 1994 +0200
@@ -28,7 +28,7 @@
 
 print_depth 1;
 
-use_thy "Cardinal_AC";
+use_thy "InfDatatype";
 use_thy "ListFn";
 
 (*printing functions are inherited from FOL*)