Re: [isabelle] Loose bound variable

Am 19.02.2010 um 11:20 schrieb Andreas Lochbihler:

If you like, I can send you my Isabelle2009-1/HOL theories such that you can reproduce the error and try to find bug.

Please do. There wasn't much to be learned by just looking at the trace.


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