Age | Commit message (Collapse) | Author | Files | Lines | |
---|---|---|---|---|---|
2008-12-26 | r12485@gauss: gdr | 2008-12-17 16:26:21 -0600 | dos-reis | 1 | -7/+1 | |
Branch to improve reflection. r12493@gauss: gdr | 2008-12-20 23:29:51 -0600 Add domain representations for constructors. r12494@gauss: gdr | 2008-12-21 14:27:37 -0600 Consolidate constructor domains. r12502@gauss: gdr | 2008-12-22 20:36:21 -0600 Constructors are values. r12504@gauss: gdr | 2008-12-25 13:58:01 -0600 r12505@gauss: gdr | 2008-12-25 18:48:04 -0600 Commit ChangeLog. | |||||
2008-12-09 | * algebra/term.spad.pamphlet: New. Implement Arity and | dos-reis | 1 | -0/+132 | |
OperatorCategory. * algebra/Makefile.pamphlet (axiom_algebra_layer_15): Include ARITY. (axiom_algebra_layer_16): Include OPERCAT. * share/algebra: Update databases. |