Re: [isabelle] union-find based unification

On 22/03/2013, at 9:45 AM, Peter Lammich <lammich at> wrote:

> The union-find structures are in the examples folder in
> Examples/Union_Find.thy.
> However, someone seems to have messed up ROOT.ML when porting to
> Isabelle2013, such that this file is not compiled any more!

This seems to be my fault. It's now back in and online again.



The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments.

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