[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Axiom-developer] Re: How to use ALDOR within AXIOM

From: Martin Rubey
Subject: [Axiom-developer] Re: How to use ALDOR within AXIOM
Date: Sat, 2 Oct 2004 16:05:36 +0000

Dear Ralf,

In fact, "fact" can be compiled using aldor 1.0.2 and axiom libraries: see

(this mail should really have gone to axiom-developer, sorry.)

Unfurtunately, I did not yet succeed with domains or packages. Maybe you do :-)


reply via email to

[Prev in Thread] Current Thread [Next in Thread]