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.

Cheers,
	Florian

-- 

PGP available:
http://home.informatik.tu-muenchen.de/haftmann/pgp/florian_haftmann_at_informatik_tu_muenchen_de

Attachment: signature.asc
Description: OpenPGP digital signature



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