Re: [isabelle] code generation for saturated naturals

It seems as if this saturated naturals library is still causing some trouble with the code generator. I am looking into this and will probably solve it within the next hours.


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