src/ZF/ZF.thy
changeset 32740 9dd0a2f83429
parent 27702 80608e96e760
child 32960 69916a850301
     1.1 --- a/src/ZF/ZF.thy	Tue Sep 29 14:59:24 2009 +0200
     1.2 +++ b/src/ZF/ZF.thy	Tue Sep 29 16:24:36 2009 +0200
     1.3 @@ -8,7 +8,7 @@
     1.4  
     1.5  theory ZF imports FOL begin
     1.6  
     1.7 -ML {* reset eta_contract *}
     1.8 +ML {* Unsynchronized.reset eta_contract *}
     1.9  
    1.10  global
    1.11