[isabelle] Axclass info



Hello,

  I'm trying to get an (sml) hold of the axclass_info for each class,
as defined in axclass.ML.  Unfortunately, it looks as if this info is
hidden by the sig ascription.  Is there another way to get this info?
If not, would it be possible to extend the signature to allow me
to get a handle to, eg.  AxclassesData?

Thanks,

Sean





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