src/ZF/ROOT.ML

--- a/src/ZF/ROOT.ML	Thu May 31 11:00:06 2007 +0200
+++ b/src/ZF/ROOT.ML	Thu May 31 12:06:31 2007 +0200
@@ -13,6 +13,6 @@
 
 reset eta_contract;
 
-with_path "Integ" use_thy "Main_ZFC";
+use_thy "Main_ZFC";
 
 Goal "True";  (*leave subgoal package empty*)