Re: [isabelle] Looking up information about new datatypes

On 10/23/2017 03:07 PM, Dmitriy Traytel wrote:
> Hi Stefan,
> fp_sugar_of returns pretty much everything that we know about the datatype (high- and low-level stuff).

Dear Dmitriy and Lars,

thanks a lot for your quick and helpful replies. The Ctr_Sugar.ctr_sugar_of function was exactly what I was looking for.


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