axiom-developer
[Top][All Lists]
Advanced

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

[Axiom-developer] [AxiomInterface]


From: anonymous
Subject: [Axiom-developer] [AxiomInterface]
Date: Wed, 12 Jan 2005 15:23:16 -0600

++added:

\begin{axiom}
i: Integer := 1
a: Any := i::Any
dom a
obj a
\end{axiom}


--
forwarded from http://page.axiom-developer.org/zope/mathaction/address@hidden




reply via email to

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