diff options
author | dos-reis <gdr@axiomatics.org> | 2007-12-02 18:04:48 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2007-12-02 18:04:48 +0000 |
commit | 343269a2cb9ba10117847c36636dc31bad7404ab (patch) | |
tree | bd1ca5251637386b706eaadaf2f5dc9d4e7b6fa4 /Makefile.pamphlet | |
parent | 0a95a6448e71e1d2dae08cafab5bf33426f17e61 (diff) | |
download | open-axiom-343269a2cb9ba10117847c36636dc31bad7404ab.tar.gz |
* bags.spad.pamphlet (Stack): Relax requirement element type S.
(coerce$Stack: % -> OutputForm): Define only if S has CoercibleTo
OutputForm.
(=$Stack: (%, %) -> Boolean): Define only if S has SetCategory.
Diffstat (limited to 'Makefile.pamphlet')
0 files changed, 0 insertions, 0 deletions