src/ZF/ex/ROOT.ML
changeset 365 796c5e305b31
parent 180 8962c2b0dc2b
child 489 0449a7f1add3
     1.1 --- a/src/ZF/ex/ROOT.ML	Fri May 06 15:16:11 1994 +0200
     1.2 +++ b/src/ZF/ex/ROOT.ML	Fri May 06 15:35:35 1994 +0200
     1.3 @@ -43,6 +43,6 @@
     1.4  (** CoDatatypes **)
     1.5  time_use_thy "ex/LList";
     1.6  time_use_thy "ex/LListFn";
     1.7 -time_use     "ex/counit.ML";
     1.8 +time_use     "ex/CoUnit.ML";
     1.9  
    1.10  maketest"END: Root file for ZF Set Theory examples";