--- a/NEWS Thu Mar 06 15:29:18 2014 +0100
+++ b/NEWS Thu Mar 06 15:40:33 2014 +0100
@@ -195,6 +195,7 @@
map_pair ~> map_prod
prod_rel ~> rel_prod
sum_rel ~> rel_sum
+ fun_rel ~> rel_fun
set_rel ~> rel_set
filter_rel ~> rel_filter
fset_rel ~> rel_fset (in "Library/FSet.thy")