[isabelle] Type as argument



Hi,

I have a quick question: does anyone know how to define a function taking a
type as an argument? Say, a function f taking the type "nat" as an argument.

Thank you
Steve




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