--- a/src/HOLCF/ex/ROOT.ML Thu Mar 24 13:25:12 1994 +0100
+++ b/src/HOLCF/ex/ROOT.ML Thu Mar 24 13:36:34 1994 +0100
@@ -13,4 +13,6 @@
time_use_thy "ex/Coind";
time_use_thy "ex/Hoare";
time_use_thy "ex/Loop";
+time_use_thy "ex/Dagstuhl";
+
maketest "END: Root file for HOLCF examples";