src/HOL/antisym_setup.ML
changeset 18708 4b3dadb4fe33
parent 17876 b9c92f384109
child 19277 f7602e74d948
     1.1 --- a/src/HOL/antisym_setup.ML	Thu Jan 19 15:45:10 2006 +0100
     1.2 +++ b/src/HOL/antisym_setup.ML	Thu Jan 19 21:22:08 2006 +0100
     1.3 @@ -48,7 +48,7 @@
     1.4  in
     1.5  
     1.6  val antisym_setup =
     1.7 - [fn thy => (Simplifier.change_simpset_of thy
     1.8 -  (fn ss => ss addsimprocs [antisym_le, antisym_less]); thy)]
     1.9 + (fn thy => (Simplifier.change_simpset_of thy
    1.10 +  (fn ss => ss addsimprocs [antisym_le, antisym_less]); thy));
    1.11  
    1.12  end