# HG changeset patch
# User haftmann
# Date 1272363617 -7200
# Node ID a0297b98728cfa48a8ab1f463c266b81236b72a4
# Parent  f3f389fc797454d51b8585114c4449d9fb639ece
tuned whitespace

diff -r f3f389fc7974 -r a0297b98728c src/HOL/Fields.thy
--- a/src/HOL/Fields.thy	Tue Apr 27 12:20:09 2010 +0200
+++ b/src/HOL/Fields.thy	Tue Apr 27 12:20:17 2010 +0200
@@ -811,7 +811,6 @@
   apply (auto simp add: mult_commute)
 done
 
-
 text{*Simplify quotients that are compared with the value 1.*}
 
 lemma le_divide_eq_1 [no_atp]: