[isabelle-dev] NEWS: parameterized antiquotations @{map N}, @{fold N} etc.

Makarius makarius at sketis.net
Wed Nov 26 22:51:23 CET 2014

In Isabelle/5b649fb2f2e1 we now have @{apply n} and @{apply n(k)} to map 
all tuple components or one specified tuple component.

In Isabelle/a78612c67ec0 the old "pairself" is renamed to "apply2" to fit 
into this scheme.  Thus it is also analagous to @{map 2} vs. plain map2 -- 
these ML combinators for 2-case are relevant for the Pure bootstrap 
process, but remain in use for other tools and packages.


                   http://stop-ttip.org  946,506 people so far

More information about the isabelle-dev mailing list