Re: [isabelle] Partial functions basics



On Thu, 2014-01-09 at 23:26 +0000, Andrew Boyton wrote:
> Note that map_add does right overloading, and is thus not an
> associative operator.

Note that there is a theorem map_add_assoc that proves associativity of
map_add. Perhaps you meant to write that map_add is not commutative.

Best,
Tjark






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