src/ZF/ZF.thy

--- a/src/ZF/ZF.thy	Tue Sep 29 14:59:24 2009 +0200
+++ b/src/ZF/ZF.thy	Tue Sep 29 16:24:36 2009 +0200
@@ -8,7 +8,7 @@
 
 theory ZF imports FOL begin
 
-ML {* reset eta_contract *}
+ML {* Unsynchronized.reset eta_contract *}
 
 global