--- a/NEWS Sat Jan 16 21:14:15 2010 +0100 +++ b/NEWS Tue Jan 19 16:52:01 2010 +0100 @@ -38,6 +38,7 @@ INTER_fold_inter ~> INFI_fold_inf UNION_fold_union ~> SUPR_fold_sup +* Added transpose to List.thy. *** ML ***