src/ZF/ROOT.ML

--- a/src/ZF/ROOT.ML	Tue Jun 21 16:26:34 1994 +0200
+++ b/src/ZF/ROOT.ML	Tue Jun 21 17:20:34 1994 +0200
@@ -28,6 +28,7 @@
 
 print_depth 1;
 
+use_thy "CardinalArith";
 use_thy "Fin";
 use_thy "ListFn";