diff -r b8a32ef742d9 -r 64f075872f69 src/HOLCF/IOA/ROOT.ML
--- a/src/HOLCF/IOA/ROOT.ML	Tue Apr 21 17:21:42 1998 +0200
+++ b/src/HOLCF/IOA/ROOT.ML	Tue Apr 21 17:22:03 1998 +0200
@@ -15,7 +15,6 @@
 
 loadpath := ["meta_theory"];
 
-use_thy"IOA";
 use_thy"Abstraction";
 use_thy"TrivEx";
 use_thy"TrivEx2";
\ No newline at end of file