Re: [isabelle] State of the State Monad



> So it might be easier to put your theory without the AFP entry
> integration into HOL/Library and do the integration in the respective
> AFP entries. What do you think?

Good point. If nobody objects I'll do that later this week. I was
planning to clean up some stuff in the vicinity ("Finite_Map") anyway.

Cheers
Lars




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