--- 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