Re: [isabelle] union-find based unification
On 22/03/2013, at 9:45 AM, Peter Lammich <lammich at in.tum.de> wrote:
> The union-find structures are in the examples folder in
> 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