--- a/NEWS Wed Feb 10 17:05:40 2010 +0100
+++ b/NEWS Wed Feb 10 19:37:34 2010 +0100
@@ -126,6 +126,9 @@
* Theory List: added transpose.
+* Renamed Library/Quotient.thy to Library/Quotient_Type.thy to avoid
+clash with new theory Quotient in Main HOL.
+
*** ML ***