I'll fix the duplicate line. Thanks for the bug report.
Any path that is convenient for reporting bugs is ok.
re: diagrams.
The diagrams in the Axiom pdf use .eps (which is
encapsulated postscript, i.e. postscript with size info).
The eps files live in books/ps with the convention that
Yes, I'd like to have a solid "floor" to the proofs and the fewer layers,
the better.
An issue arises when looking to prove the propositions for the Domain
NonNegativeInteger (NNI). This is closely related to the 'nat' domain in
proof
systems. However, NNI relies on calls to Lisp for things like
Tim,
Just a small documentation issue.
This line appears to be duplicated in the PDF:
"Permutation is a domain which can be used to compute permutations. It
is also an implementation of Group category."
In books/bookvol10.3.pamphlet its at line 145509.
I assume you would prefer me to let you