diff options
author | dos-reis <gdr@axiomatics.org> | 2010-04-25 23:44:14 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2010-04-25 23:44:14 +0000 |
commit | f50462616a6319727efb50c267a105166f5275e8 (patch) | |
tree | dd39d868fe0323d8922634d6e267248fabcff587 /src/algebra/strap/LIST.lsp | |
parent | c79e40703ada1ff91b7e057b25d4ae1c4199770a (diff) | |
download | open-axiom-f50462616a6319727efb50c267a105166f5275e8.tar.gz |
* algebra/aggcat.spad.pamphlet: Tidy.
Diffstat (limited to 'src/algebra/strap/LIST.lsp')
-rw-r--r-- | src/algebra/strap/LIST.lsp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/algebra/strap/LIST.lsp b/src/algebra/strap/LIST.lsp index cd156bad..b043b4af 100644 --- a/src/algebra/strap/LIST.lsp +++ b/src/algebra/strap/LIST.lsp @@ -342,7 +342,7 @@ (|HomogeneousAggregate| 6) (|OrderedSet|) (|Aggregate|) (|EltableAggregate| 7 6) (|Evalable| 6) - (|SetCategory|) (|Type|) (|Eltable| 7 6) + (|SetCategory|) (|Eltable| 7 6) (|Type|) (|InnerEvalable| 6 6) (|CoercibleTo| 45) (|ConvertibleTo| 46) (|BasicType|) (|OpenMath|)) |