# HG changeset patch
# User haftmann
# Date 1269157610 -3600
# Node ID 9d0d545bcb5d5917e33f8f886b25a515f80aa12b
# Parent  0d394a82337ed8979989b45079c41b7002cd6ca1
tuned whitespace

diff -r 0d394a82337e -r 9d0d545bcb5d src/Pure/Isar/overloading.ML
--- a/src/Pure/Isar/overloading.ML	Sun Mar 21 08:46:49 2010 +0100
+++ b/src/Pure/Isar/overloading.ML	Sun Mar 21 08:46:50 2010 +0100
@@ -13,7 +13,7 @@
   val define: bool -> binding -> string * term -> theory -> thm * theory
   val operation: Proof.context -> binding -> (string * bool) option
   val pretty: Proof.context -> Pretty.T
-  
+
   type improvable_syntax
   val add_improvable_syntax: Proof.context -> Proof.context
   val map_improvable_syntax: (improvable_syntax -> improvable_syntax)