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 <http://isabelle.in.tum.de/repos/isabelle/rev/4d2ce596f505>.

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

Cheers
Lars




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