Re: [isabelle] union-find based unification



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

>
>>   http://afp.sourceforge.net/entries/Separation_Logic_Imperative_HOL.shtml
>
>
> 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.

Cheers,
Gerwin



________________________________

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.