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 /src/input/c06ekf.input.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 'src/input/c06ekf.input.pamphlet')
0 files changed, 0 insertions, 0 deletions