Re: [isabelle] I need a fixed mutable array



On 14-06-18 19:19, Gottfried Barrow wrote:
I searched on "array" at the AFP site before, but I didn't find that, since it's buried in the tar file. It's good that I didn't, but it's good to see it now, and see how they're implementing things with lists.

It would also be "they", but then "you" as the primary.

Thanks,
GB







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