src/ZF/ex/ROOT.ML
changeset 95 2246a80b1cb5
parent 91 30c8e9c380a2
child 120 09287f26bfb8
     1.1 --- a/src/ZF/ex/ROOT.ML	Fri Nov 05 18:49:22 1993 +0100
     1.2 +++ b/src/ZF/ex/ROOT.ML	Mon Nov 08 17:52:24 1993 +0100
     1.3 @@ -55,6 +55,6 @@
     1.4  time_use_thy "ex/LList";
     1.5  time_use     "ex/llist_eq.ML";
     1.6  time_use_thy "ex/llistfn";
     1.7 -
     1.8 +time_use     "ex/counit.ML";
     1.9  
    1.10  maketest"END: Root file for ZF Set Theory examples";