Re: Spad and inductive types

Ralf Hemmecke <[email protected]> Mon, 07 May 2007 15:32:03 +0200

Newsgroups	gmane.comp.mathematics.axiom.user
Message-ID	<[email protected]>

> http://wiki.axiom-developer.org/SandBoxInductiveType

I've added an Aldor version.

Ralf

lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.