# HG changeset patch
# User nipkow
# Date 1327990264 -3600
# Node ID d4afc422668868e7a2fe384714709237041e6436
# Parent  6fa9cdb8b850167a5e5e84518deaaa67c3672306
NEWS

diff -r 6fa9cdb8b850 -r d4afc4226688 NEWS
--- a/NEWS	Mon Jan 30 21:49:41 2012 +0100
+++ b/NEWS	Tue Jan 31 07:11:04 2012 +0100
@@ -73,6 +73,8 @@
 predicate and what a set.  It can be helpful to carry out that step in
 Isabelle2011-1 before jumping right into the current release.
 
+* New type synonym 'a rel = ('a * 'a) set
+
 * Consolidated various theorem names relating to Finite_Set.fold
 combinator: