Re: [isabelle] State of the State Monad

> The existing "State_Monad" can be folded into its only use site
> ("~~/src/HOL/Proofs/Extraction/Higman_Extraction").

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.



PGP available:

Attachment: signature.asc
Description: OpenPGP digital signature

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