Re: [isabelle] Surprises with transfer method



On 01/31/2013 03:44 PM, Ondřej Kunčar wrote:
"(op= ===> cr_natural) (of_nat::nat=>nat) (of_nat::nat=>natural)"

just a side remark:
The type annotations are not necessary but I think they improve the readability.

Ondrej





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