Re: [isabelle] Type Coercions?



> Yes, it would be nice to have coercions inserted automatically. But no
> such luck in Isabelle.

Tanks for the reply. Just out of curiosity. Are there any theoretical or
deep technical reasons against having this feature or has this simply
never occurred on a top position on the priorities list? 

-- 
Gruß
Christian Doczkal

Attachment: smime.p7s
Description: S/MIME cryptographic signature



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