src/HOL/Algebra/QuotRing.thy

--- a/src/HOL/Algebra/QuotRing.thy	Sun Mar 21 16:51:37 2010 +0100
+++ b/src/HOL/Algebra/QuotRing.thy	Sun Mar 21 17:12:31 2010 +0100
@@ -1,6 +1,5 @@
-(*
-  Title:     HOL/Algebra/QuotRing.thy
-  Author:    Stephan Hohe
+(*  Title:      HOL/Algebra/QuotRing.thy
+    Author:     Stephan Hohe
 *)
 
 theory QuotRing
@@ -180,6 +179,7 @@
 done
 qed
 
+
 subsection {* Factorization over Prime Ideals *}
 
 text {* The quotient ring generated by a prime ideal is a domain *}