# HG changeset patch
# User regensbu
# Date 792174331 -3600
# Node ID f81cb7520372b263442f0262b1b068fe3e8b086d
# Parent  d0dc8d057929797f407e707fe89f0a053ae460fd
CVS:

diff -r d0dc8d057929 -r f81cb7520372 src/HOLCF/ex/ROOT.ML
--- a/src/HOLCF/ex/ROOT.ML	Tue Feb 07 11:59:32 1995 +0100
+++ b/src/HOLCF/ex/ROOT.ML	Tue Feb 07 17:25:31 1995 +0100
@@ -14,5 +14,6 @@
 time_use_thy "ex/Hoare";
 time_use_thy "ex/Loop";
 time_use_thy "ex/Dagstuhl";
+time_use "ex/loeckx.ML";
 
 maketest     "END: Root file for HOLCF examples";