Re: [isabelle] State of the State Monad

> 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.

See now Isabelle/d157195a468a and AFP/9f41cb6d9cfa.

I'll leave the porting of the tree relabeling to you, Andreas :-)


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