Re: [isabelle] Predicate compiler: mode and term do not match

Hi Lars,

> Great, that works like a charm. In the end, I'm probably not going to
> need the code setup, but it might be worth investigating anyway why this
> fails. I don't see any special things going on here.

I would appreciate if you invest some effort here.

Just the usual warning to refrain from ad-hoc changes before a release.
 Good things take their while.



PGP available:

Attachment: signature.asc
Description: OpenPGP digital signature

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