# HG changeset patch
# User haftmann
# Date 1281542373 -7200
# Node ID 1ad96229b455dc01a4269ccf48d340402aa13599
# Parent  8b02c5bf1d0e44fb8e9d54c1ab9af43fcf97c836
tuned whitespace

diff -r 8b02c5bf1d0e -r 1ad96229b455 src/Pure/axclass.ML
--- a/src/Pure/axclass.ML	Wed Aug 11 17:59:32 2010 +0200
+++ b/src/Pure/axclass.ML	Wed Aug 11 17:59:33 2010 +0200
@@ -406,7 +406,7 @@
   in
     thy
     |> Thm.add_def false false (b', prop)
-    |>> (fn (_, thm) =>  Drule.transitive_thm OF [eq, thm])
+    |>> (fn (_, thm) => Drule.transitive_thm OF [eq, thm])
   end;