src/ZF/ROOT.ML
changeset 435 ca5356bd315a
parent 364 6573122322d7
child 484 70b789956bd3
     1.1 --- a/src/ZF/ROOT.ML	Tue Jun 21 16:26:34 1994 +0200
     1.2 +++ b/src/ZF/ROOT.ML	Tue Jun 21 17:20:34 1994 +0200
     1.3 @@ -28,6 +28,7 @@
     1.4  
     1.5  print_depth 1;
     1.6  
     1.7 +use_thy "CardinalArith";
     1.8  use_thy "Fin";
     1.9  use_thy "ListFn";
    1.10