isabelle.Scan
parser combinators *
(Changed in version 2.9.0) The p0 call-by-name arguments is evaluated at most once per constructed Parser object, instead of on every need that arises during parsing.
p0
parser combinators *