[isabelle] access axclass data



Hello,

I'd like to programatically access axclass data, such as axioms and super classes. It seems that access to the type axclass_info would do, and this is used in the public method "AxClass.print_axclasses", yet I can't figure out how to get at it.
I believe it's part of the Sign.sg.  Is it possible?

Thanks,

Sean





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