[isabelle-dev] NEWS

Tobias Nipkow nipkow at in.tum.de
Wed Nov 19 18:18:05 CET 2008

* HOL/Finite_Set: added a new fold combinator of type
   ('a => 'b => 'b) => 'b => 'a set => 'b
Occasionally this is more convenient than the old fold combinator which is
now defined in terms of the new one and renamed to fold_image.


More information about the isabelle-dev mailing list