http://wiki.axiom-developer.org/SandBoxInductiveType
I've added an Aldor version. Ralf _______________________________________________ Axiom-mail mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/axiom-mail
- [Axiom-mail] Spad and inductive types Gabriel Dos Reis
- Re: [Axiom-mail] Spad and inductive types Martin Rubey
- RE: [Axiom-mail] Spad and inductive types Bill Page
- Re: [Axiom-mail] Spad and inductive types Martin Rubey
- RE: [Axiom-mail] Spad and inductive type... Bill Page
- Re: [Axiom-mail] Spad and inductive... Ralf Hemmecke
- Re: [Axiom-mail] Spad and inductive type... Gabriel Dos Reis
- RE: [Axiom-mail] Spad and inductive... Bill Page
- Re: [Axiom-mail] Spad and induc... Ralf Hemmecke
- RE: [Axiom-mail] Spad and induc... Gabriel Dos Reis
- Re: [Axiom-mail] Spad and i... Ralf Hemmecke
- Re: [Axiom-mail] Spad and i... Ralf Hemmecke
- Re: [Axiom-mail] Spad and i... Gabriel Dos Reis
- Re: [Axiom-mail] Spad and inductive types Gabriel Dos Reis
- Re: [Axiom-mail] Spad and inductive types Gabriel Dos Reis
- Re: [Axiom-mail] Spad and inductive types Ralf Hemmecke
