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.


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