Re: [isabelle] State of the State Monad

> I would welcome to have it as a separate theory (though under a
> different name maybe) since it can also be used for pretty printing
> quickcheck random generator expressions.

If you say "can be used", does that mean it already works or that it can
be implemented?

In any case, since it's purely syntactic, I propose calling it


This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.