Age | Commit message (Collapse) | Author | Files | Lines |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
* algebra/boolean.spad.pamphlet (Logic): Move there.
(BooleanLogic): Likewise.
(PropositionalLogic): Likewise.
(PropositionalFormula): Likewise.
(PropositionalFormulaFunctions1): Likewise.
(PropositionalFormulaFunctions2): Likewise.
(KleeneTrivalentLogic): Likewise.
|
|
|
|
from nniBump. Fix thinko.
|
|
|
|
|
|
Define Rep, do not use base-domain form.
|
|
|
|
Define unconditionally, even it it does not make much sense in general.
|
|
|
|
|
|
|
|
Aggregate only. Adjust users.
(BagAggregate): Explicitly extend HomogeneousAggregate.
(AssociationListAggregate): Extend ShallowlyMutableAggregate.
|
|
Implement default.
* algebra/list.spad.pamphlet (List) [map!]: Likewise.
|
|
|