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.
Makarius
----------------------------------------------------------------------------
http://stop-ttip.org 946,506 people so far
----------------------------------------------------------------------------
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
