Re: [isabelle] size setup for HOL/Library/Finite_Map (fmap)

> This is an oversight â I'll try to add this to the theory over the next
> couple of days.

See now <>.

Peter, please try it out and tell me if it works for you.


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