aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/term.spad.pamphlet
AgeCommit message (Collapse)AuthorFilesLines
2008-12-09 * algebra/term.spad.pamphlet: New. Implement Arity anddos-reis1-0/+132
OperatorCategory. * algebra/Makefile.pamphlet (axiom_algebra_layer_15): Include ARITY. (axiom_algebra_layer_16): Include OPERCAT. * share/algebra: Update databases.