[isabelle] subtype definition in Isabelle



Hi,

I am wondering if  Isabelle supports subtype definition  ,  something just like subclass and superclass in C++.

And the subtype inherits the attributes of the parent-type.

Thanks.

Tao Liu




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