diff options
author | dos-reis <gdr@axiomatics.org> | 2009-05-21 19:33:24 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2009-05-21 19:33:24 +0000 |
commit | 67eb28e8fcfd246d7f149c00bdd3089e2f606676 (patch) | |
tree | 156e78c30a13c788a7bb194aba20fb7ac8a6996b /src/algebra/strap/ISTRING.lsp | |
parent | 0fd61f7b731145923414f6fe21a511f2304bd9d9 (diff) | |
download | open-axiom-67eb28e8fcfd246d7f149c00bdd3089e2f606676.tar.gz |
* algebra/catdef.spad.pamphlet (before?$SetCategory): New.
Diffstat (limited to 'src/algebra/strap/ISTRING.lsp')
-rw-r--r-- | src/algebra/strap/ISTRING.lsp | 43 |
1 files changed, 22 insertions, 21 deletions
diff --git a/src/algebra/strap/ISTRING.lsp b/src/algebra/strap/ISTRING.lsp index dc7ed95f..dbc68e7c 100644 --- a/src/algebra/strap/ISTRING.lsp +++ b/src/algebra/strap/ISTRING.lsp @@ -980,7 +980,8 @@ 670 |entry?| 676 |entries| 682 |empty?| 687 |empty| 692 |elt| 696 |delete| 721 |count| 733 |copyInto!| 745 |copy| 752 |convert| 757 |construct| 762 |concat| 767 |coerce| - 790 |any?| 800 >= 806 > 812 = 818 <= 824 < 830 |#| 836) + 790 |before?| 800 |any?| 806 >= 812 > 818 = 824 <= 830 < + 836 |#| 842) '((|shallowlyMutable| . 0) (|finiteAggregate| . 0)) (CONS (|makeByteWordVec2| 5 '(0 0 0 0 0 0 0 5 0 0 1 4 0 0 1 2 3 4)) @@ -1021,28 +1022,28 @@ 0 86 1 8 7 0 87 2 11 0 11 0 88 2 11 0 0 0 89 2 11 13 0 0 92 2 0 13 0 0 93 2 7 13 0 0 1 1 0 0 0 38 1 0 0 0 1 2 0 0 - 0 8 1 2 0 0 0 33 1 3 0 102 0 11 11 1 + 0 33 1 2 0 0 0 8 1 3 0 102 0 11 11 1 2 0 13 0 0 66 3 0 13 0 0 11 60 2 0 73 - 0 33 75 2 0 73 0 8 74 1 5 13 0 1 2 0 + 0 8 74 2 0 73 0 33 75 1 5 13 0 1 2 0 13 101 0 1 1 5 0 0 1 2 0 0 101 0 1 1 5 0 0 1 2 0 0 101 0 1 2 0 13 0 7 1 3 0 8 0 23 8 1 3 0 8 0 11 8 57 2 0 0 - 100 0 1 0 0 0 1 2 0 0 0 8 79 2 0 0 0 - 33 80 1 0 0 0 1 1 0 0 0 1 3 0 0 0 23 - 0 56 1 7 0 0 1 2 7 0 8 0 1 2 0 0 100 - 0 1 4 7 8 98 0 8 8 1 3 0 8 98 0 8 1 2 - 0 8 98 0 1 3 0 8 0 11 8 1 2 0 8 0 11 - 1 2 0 13 0 0 93 3 7 11 8 0 11 63 2 7 - 11 8 0 1 3 0 11 33 0 11 65 3 0 11 0 0 - 11 61 2 0 11 100 0 1 1 0 95 0 1 2 0 0 - 7 8 9 2 0 13 0 7 1 1 6 11 0 32 2 5 0 - 0 0 1 2 5 0 0 0 1 3 0 0 101 0 0 1 1 0 + 100 0 1 0 0 0 1 2 0 0 0 33 80 2 0 0 0 + 8 79 1 0 0 0 1 1 0 0 0 1 3 0 0 0 23 0 + 56 1 7 0 0 1 2 7 0 8 0 1 2 0 0 100 0 + 1 4 7 8 98 0 8 8 1 2 0 8 98 0 1 3 0 8 + 98 0 8 1 3 0 8 0 11 8 1 2 0 8 0 11 1 + 2 0 13 0 0 93 2 7 11 8 0 1 3 7 11 8 0 + 11 63 3 0 11 0 0 11 61 3 0 11 33 0 11 + 65 2 0 11 100 0 1 1 0 95 0 1 2 0 0 7 + 8 9 2 0 13 0 7 1 1 6 11 0 32 2 5 0 0 + 0 1 2 5 0 0 0 1 3 0 0 101 0 0 1 1 0 95 0 1 2 7 13 8 0 1 1 6 11 0 47 2 5 0 0 0 1 3 0 13 0 0 8 94 3 0 7 0 0 8 91 2 0 0 36 0 37 3 0 0 98 0 0 1 2 0 0 36 0 1 1 0 0 0 41 1 0 0 0 1 2 0 13 0 7 1 - 2 0 0 0 8 76 2 0 0 0 33 77 1 7 28 0 - 43 3 0 0 8 0 11 1 3 0 0 0 0 11 27 1 0 + 2 0 0 0 33 77 2 0 0 0 8 76 1 7 28 0 + 43 3 0 0 0 0 11 27 3 0 0 8 0 11 1 1 0 104 0 1 2 0 13 11 0 1 1 7 53 0 1 1 0 11 0 90 1 6 8 0 1 2 0 103 100 0 1 2 0 0 0 8 1 2 0 13 100 0 1 3 9 0 0 95 95 @@ -1050,12 +1051,12 @@ 96 1 2 0 13 0 0 1 2 7 13 8 0 1 1 0 95 0 1 1 0 13 0 15 0 0 0 10 2 0 0 0 0 1 2 0 0 0 23 25 2 0 8 0 11 67 3 0 8 0 - 11 8 1 2 0 0 0 11 1 2 0 0 0 23 1 2 7 + 11 8 1 2 0 0 0 23 1 2 0 0 0 11 1 2 7 7 8 0 1 2 0 7 100 0 1 3 0 0 0 0 11 82 1 0 0 0 20 1 3 99 0 1 1 0 0 95 1 1 0 - 0 73 83 2 0 0 0 0 19 2 0 0 0 8 1 2 0 - 0 8 0 1 1 8 29 0 31 1 0 0 8 1 2 0 13 - 100 0 1 2 5 13 0 0 1 2 5 13 0 0 1 2 7 - 13 0 0 17 2 5 13 0 0 1 2 5 13 0 0 18 - 1 0 7 0 16))))) + 0 73 83 2 0 0 8 0 1 2 0 0 0 0 19 2 0 + 0 0 8 1 1 8 29 0 31 1 0 0 8 1 2 7 13 + 0 0 1 2 0 13 100 0 1 2 5 13 0 0 1 2 5 + 13 0 0 1 2 7 13 0 0 17 2 5 13 0 0 1 2 + 5 13 0 0 18 1 0 7 0 16))))) '|lookupComplete|)) |