# HG changeset patch
# User haftmann
# Date 1238999095 -7200
# Node ID 613c2eb8aef60d016a427011bd8236519b22209a
# Parent  d63f8956bd3905c7029a68466aed3e77ef006d13
tuned whitespace

diff -r d63f8956bd39 -r 613c2eb8aef6 src/Tools/code/code_wellsorted.ML
--- a/src/Tools/code/code_wellsorted.ML	Sun Apr 05 23:19:39 2009 +0200
+++ b/src/Tools/code/code_wellsorted.ML	Mon Apr 06 08:24:55 2009 +0200
@@ -95,6 +95,7 @@
 val empty_vardeps_data : vardeps_data =
   (Vargraph.empty, (Symtab.empty, []));
 
+
 (* retrieving equations and instances from the background context *)
 
 fun obtain_eqns thy eqngr c =