src/HOLCF/IOA/ROOT.ML

--- a/src/HOLCF/IOA/ROOT.ML	Thu Apr 22 11:02:46 1999 +0200
+++ b/src/HOLCF/IOA/ROOT.ML	Thu Apr 22 11:05:48 1999 +0200
@@ -12,7 +12,6 @@
 add_path "meta_theory";
 
 use_thy "Abstraction";
-use_thy "TrivEx";
-use_thy "TrivEx2";
 
-reset_path ();
+use"~/isabelle/src/HOLCF/IOA/meta_theory/ioa_package.ML";
+use"~/isabelle/src/HOLCF/IOA/meta_theory/ioa_syn.ML";