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? 

Christian Doczkal

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

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