# HG changeset patch
# User wenzelm
# Date 1428522539 -7200
# Node ID ad2d1cd53877801fd9abdbc9009051da383ec776
# Parent  046399298519f8a0fa6449a1fd04f2fe7bdf9344
eliminated hard tabs;

diff -r 046399298519 -r ad2d1cd53877 src/HOL/GCD.thy
--- a/src/HOL/GCD.thy	Wed Apr 08 21:42:08 2015 +0200
+++ b/src/HOL/GCD.thy	Wed Apr 08 21:48:59 2015 +0200
@@ -49,8 +49,8 @@
 
 class semiring_gcd = comm_semiring_1 + gcd +
   assumes gcd_dvd1 [iff]: "gcd a b dvd a"
-		and gcd_dvd2 [iff]: "gcd a b dvd b"
-		and gcd_greatest: "c dvd a \<Longrightarrow> c dvd b \<Longrightarrow> c dvd gcd a b"
+    and gcd_dvd2 [iff]: "gcd a b dvd b"
+    and gcd_greatest: "c dvd a \<Longrightarrow> c dvd b \<Longrightarrow> c dvd gcd a b"
 
 class ring_gcd = comm_ring_1 + semiring_gcd