diff options
| author | dos-reis <gdr@axiomatics.org> | 2009-05-30 04:15:10 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2009-05-30 04:15:10 +0000 |
| commit | 748e67afa492ccf46498cfa33541327aa11ad584 (patch) | |
| tree | a907a0b189a9e540eb708730389f6c9c4c1e7260 /src/algebra/strap/UFD-.lsp | |
| parent | 0c8ae00b89a09dcf8320117d3655e9e50c4796e3 (diff) | |
| download | open-axiom-748e67afa492ccf46498cfa33541327aa11ad584.tar.gz | |
* algebra/catdef.spad.pamphlet (SetCategory): Provide default
definition for before?.
Diffstat (limited to 'src/algebra/strap/UFD-.lsp')
0 files changed, 0 insertions, 0 deletions