src/ZF/ex/ROOT.ML
changeset 120 09287f26bfb8
parent 95 2246a80b1cb5
child 125 bba27d15d76e
     1.1 --- a/src/ZF/ex/ROOT.ML	Mon Nov 15 14:33:40 1993 +0100
     1.2 +++ b/src/ZF/ex/ROOT.ML	Mon Nov 15 14:41:25 1993 +0100
     1.3 @@ -51,7 +51,7 @@
     1.4  time_use     "ex/parcontract.ML";
     1.5  time_use_thy "ex/primrec0";
     1.6  
     1.7 -(** Co-Datatypes **)
     1.8 +(** CoDatatypes **)
     1.9  time_use_thy "ex/LList";
    1.10  time_use     "ex/llist_eq.ML";
    1.11  time_use_thy "ex/llistfn";