Re: [isabelle] Quotients of nominal types



Am 12.08.2013 09:38, schrieb Christian Urban:
There is no way, I think, to
lift/transfer theorems by names (on the non-ML-level).
I think the transferred attribute is supposed to do just that.

Dmitriy




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