# HG changeset patch
# User mueller
# Date 924771948 -7200
# Node ID bafd705ee38ec5cd498d874f28d73020e8655e53
# Parent  a7b1669f5365aff24d851b539ba9da2dba8600a2
changed to include new subdirs ex and Modelcheck;

diff -r a7b1669f5365 -r bafd705ee38e 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";