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.


Lukas






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