May 2007 Archives by date

• Messages sorted by: [ thread ] [ subject ] [ author ]
• More info on this list...

Starting: Wed May 2 02:45:57 EDT 2007
Ending: Sat May 19 15:17:40 EDT 2007
Messages: 4

• [Aldor-l] [ANN] Axiom Workshop 2007 - second announcement   Martin Rubey
• [Aldor-l] [Axiom-mail] Spad and inductive types   Ralf Hemmecke
• [Aldor-l] a little category theory and inductive types   Ralf Hemmecke
• [Aldor-l] Aldor -> Lisp/C was: Re: [Axiom-developer] Literate documentation   Ralf Hemmecke

Last message date: Sat May 19 15:17:40 EDT 2007
Archived on: Fri Aug 31 13:22:10 EDT 2007

• Messages sorted by: [ thread ] [ subject ] [ author ]
• More info on this list...