src/HOLCF/ex/ROOT.ML
changeset 297 5ef75ff3baeb
parent 244 929fc2c63bd0
child 893 f81cb7520372
     1.1 --- a/src/HOLCF/ex/ROOT.ML	Thu Mar 24 13:25:12 1994 +0100
     1.2 +++ b/src/HOLCF/ex/ROOT.ML	Thu Mar 24 13:36:34 1994 +0100
     1.3 @@ -13,4 +13,6 @@
     1.4  time_use_thy "ex/Coind";
     1.5  time_use_thy "ex/Hoare";
     1.6  time_use_thy "ex/Loop";
     1.7 +time_use_thy "ex/Dagstuhl";
     1.8 +
     1.9  maketest     "END: Root file for HOLCF examples";