Re: [isabelle] nat_code Equation

Hi Brian,

> Florian: Perhaps you could look at my code and see whether it would be
> suitable to check in to the development repo. It might still contain
> some bugs; I haven't tested it on nested patterns like "Suc (Suc n)"
> for example.

I will put this in my queue which at the moment is near denial of
service :-(.  But note that the code originally is from Stefan.



PGP available:

Attachment: signature.asc
Description: OpenPGP digital signature

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