# HG changeset patch
# User mueller
# Date 884623892 -3600
# Node ID 6b9a8e956af9c425686edee384c2c188a8281dd0
# Parent  7aa75c7671820b2bc2a7519d1d16e7bb80b27a48
added abstraction files;

diff -r 7aa75c767182 -r 6b9a8e956af9 src/HOLCF/IOA/ROOT.ML
--- a/src/HOLCF/IOA/ROOT.ML	Mon Jan 12 17:51:05 1998 +0100
+++ b/src/HOLCF/IOA/ROOT.ML	Mon Jan 12 17:51:32 1998 +0100
@@ -16,3 +16,6 @@
 loadpath := ["meta_theory"];
 
 use_thy"IOA";
+use_thy"Abstraction";
+use_thy"TrivEx";
+use_thy"TrivEx2";
\ No newline at end of file