[isabelle] base types



Hello,

  Is there a way to tell which types are base types, ie.
defined by `typedecl` rather than `typedef`

Thanks,

Sean





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