|
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
[Prev in Thread] | Current Thread | [Next in Thread] |