[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Instantiating datatypes with subtype of nat



Adriaan,

I don't know if you got the message that the new patches are available;
they do fix the problems you describe.  Try them out, and if you still
have any problems or questions please let us know.

Regards,

Sam Owre