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 | |
| parent | c79e40703ada1ff91b7e057b25d4ae1c4199770a (diff) | |
| download | open-axiom-f50462616a6319727efb50c267a105166f5275e8.tar.gz | |
* algebra/aggcat.spad.pamphlet: Tidy.
Diffstat (limited to 'src/algebra/strap')
| -rw-r--r-- | src/algebra/strap/ILIST.lsp | 4 | ||||
| -rw-r--r-- | src/algebra/strap/ISTRING.lsp | 4 | ||||
| -rw-r--r-- | src/algebra/strap/LIST.lsp | 2 | ||||
| -rw-r--r-- | src/algebra/strap/VECTOR.lsp | 2 |
4 files changed, 6 insertions, 6 deletions
diff --git a/src/algebra/strap/ILIST.lsp b/src/algebra/strap/ILIST.lsp index fc9c8183..056e79c8 100644 --- a/src/algebra/strap/ILIST.lsp +++ b/src/algebra/strap/ILIST.lsp @@ -628,8 +628,8 @@ (|HomogeneousAggregate| 6) (|OrderedSet|) (|Aggregate|) (|EltableAggregate| 30 6) (|Evalable| 6) - (|SetCategory|) (|Type|) - (|Eltable| 30 6) (|InnerEvalable| 6 6) + (|SetCategory|) (|Eltable| 30 6) + (|Type|) (|InnerEvalable| 6 6) (|CoercibleTo| 36) (|ConvertibleTo| 81) (|BasicType|)) (|makeByteWordVec2| 84 diff --git a/src/algebra/strap/ISTRING.lsp b/src/algebra/strap/ISTRING.lsp index b2fb52c3..12d4a5cb 100644 --- a/src/algebra/strap/ISTRING.lsp +++ b/src/algebra/strap/ISTRING.lsp @@ -962,8 +962,8 @@ (|HomogeneousAggregate| 8) (|OrderedSet|) (|Aggregate|) (|EltableAggregate| 11 8) (|Evalable| 8) - (|SetCategory|) (|Type|) - (|Eltable| 11 8) (|InnerEvalable| 8 8) + (|SetCategory|) (|Eltable| 11 8) + (|Type|) (|InnerEvalable| 8 8) (|CoercibleTo| 29) (|ConvertibleTo| 95) (|BasicType|)) (|makeByteWordVec2| 100 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|)) diff --git a/src/algebra/strap/VECTOR.lsp b/src/algebra/strap/VECTOR.lsp index e6ac08f8..2bb16105 100644 --- a/src/algebra/strap/VECTOR.lsp +++ b/src/algebra/strap/VECTOR.lsp @@ -136,7 +136,7 @@ (|HomogeneousAggregate| 6) (|OrderedSet|) (|Aggregate|) (|EltableAggregate| 7 6) (|Evalable| 6) - (|SetCategory|) (|Type|) (|Eltable| 7 6) + (|SetCategory|) (|Eltable| 7 6) (|Type|) (|InnerEvalable| 6 6) (|CoercibleTo| 13) (|ConvertibleTo| 14) (|BasicType|)) (|makeByteWordVec2| 20 |