Re: [isabelle] Enter MATCH

Yes, it’s higher order unification behaving badly. There’s no simple way to control it; better to avoid the situation as I suggested.
Larry Paulson

On 24 Jan 2014, at 21:17, Manuel Eberl <eberlm at> wrote:

> Could you please elaborate on what exactly is happening here? I've been
> wondering about this myself for ages. Is it some kind of issue with
> higher order unification?

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