Re: [Axiom-mail] Spad and inductive types

[Ralf Hemmecke]

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

I've added an Aldor version.

Ralf


_______________________________________________
Axiom-mail mailing list
Axiom-mail@nongnu.org
http://lists.nongnu.org/mailman/listinfo/axiom-mail