[isabelle] type_synonym



type_synonym 'a t = "'a :: field"

yields

Ignoring sort constraints in type variables(s): "'a"
in type abbreviation "t"

Why that? It would be very nice not to lose them.

Tobias





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