|
| From: | Ralf Hemmecke |
| Subject: | Re: [Axiom-mail] Spad and inductive types |
| Date: | Mon, 07 May 2007 15:32:03 +0200 |
| User-agent: | Thunderbird 2.0.0.0 (X11/20070326) |
http://wiki.axiom-developer.org/SandBoxInductiveType
I've added an Aldor version. Ralf
| [Prev in Thread] | Current Thread | [Next in Thread] |