CVS:
authorregensbu
Tue Feb 07 17:25:31 1995 +0100 (1995-02-07)
changeset 893f81cb7520372
parent 892 d0dc8d057929
child 894 6fcddbebabac
CVS:
src/HOLCF/ex/ROOT.ML
     1.1 --- a/src/HOLCF/ex/ROOT.ML	Tue Feb 07 11:59:32 1995 +0100
     1.2 +++ b/src/HOLCF/ex/ROOT.ML	Tue Feb 07 17:25:31 1995 +0100
     1.3 @@ -14,5 +14,6 @@
     1.4  time_use_thy "ex/Hoare";
     1.5  time_use_thy "ex/Loop";
     1.6  time_use_thy "ex/Dagstuhl";
     1.7 +time_use "ex/loeckx.ML";
     1.8  
     1.9  maketest     "END: Root file for HOLCF examples";