src/ZF/ROOT.ML
changeset 488 52f7447d4f1b
parent 484 70b789956bd3
child 516 1957113f0d7d
     1.1 --- a/src/ZF/ROOT.ML	Wed Jul 27 15:14:31 1994 +0200
     1.2 +++ b/src/ZF/ROOT.ML	Wed Jul 27 15:33:42 1994 +0200
     1.3 @@ -28,7 +28,7 @@
     1.4  
     1.5  print_depth 1;
     1.6  
     1.7 -use_thy "Cardinal_AC";
     1.8 +use_thy "InfDatatype";
     1.9  use_thy "ListFn";
    1.10  
    1.11  (*printing functions are inherited from FOL*)