src/ZF/ROOT.ML
changeset 484 70b789956bd3
parent 435 ca5356bd315a
child 488 52f7447d4f1b
     1.1 --- a/src/ZF/ROOT.ML	Thu Jul 21 16:51:26 1994 +0200
     1.2 +++ b/src/ZF/ROOT.ML	Tue Jul 26 13:21:20 1994 +0200
     1.3 @@ -28,8 +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 "Cardinal_AC";
    1.10  use_thy "ListFn";
    1.11  
    1.12  (*printing functions are inherited from FOL*)