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.

Cheers,
	Florian

-- 

PGP available:
http://home.informatik.tu-muenchen.de/haftmann/pgp/florian_haftmann_at_informatik_tu_muenchen_de

Attachment: signature.asc
Description: OpenPGP digital signature



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