src/ZF/Main_ZF.thy
changeset 36543 0e7fc5bf38de
parent 29580 117b88da143c
child 45625 750c5a47400b
     1.1 --- a/src/ZF/Main_ZF.thy	Thu Apr 29 22:08:57 2010 +0200
     1.2 +++ b/src/ZF/Main_ZF.thy	Thu Apr 29 22:56:32 2010 +0200
     1.3 @@ -71,7 +71,7 @@
     1.4  
     1.5  
     1.6  declaration {* fn _ =>
     1.7 -  Simplifier.map_ss (fn ss => ss setmksimps (map mk_eq o Ord_atomize o gen_all))
     1.8 +  Simplifier.map_ss (fn ss => ss setmksimps (K (map mk_eq o Ord_atomize o gen_all)))
     1.9  *}
    1.10  
    1.11  end