diff options
| author | dos-reis <gdr@axiomatics.org> | 2009-05-16 16:11:23 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2009-05-16 16:11:23 +0000 |
| commit | 4775a003250c85f1797abe4a2e262eb6ce78b83a (patch) | |
| tree | ded7048ef2b4344d6e9b525b083a45b05d37972d /src/share/algebra/category.daase | |
| parent | 77a93f4a3987914d71bc491a7bb0e322651e6be3 (diff) | |
| download | open-axiom-4775a003250c85f1797abe4a2e262eb6ce78b83a.tar.gz | |
* algebra/op.spad.pamphlet (assert$BasicOperator): Remove overload
with String parameter,
Diffstat (limited to 'src/share/algebra/category.daase')
| -rw-r--r-- | src/share/algebra/category.daase | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/share/algebra/category.daase b/src/share/algebra/category.daase index 27c0e3bb..162685cd 100644 --- a/src/share/algebra/category.daase +++ b/src/share/algebra/category.daase @@ -1,5 +1,5 @@ -(162119 . 3451427262) +(162119 . 3451461731) (((|#2| |#2|) -12 (|has| |#2| (-309 |#2|)) (|has| |#2| (-1094))) ((#0=(-2 (|:| -3090 |#1|) (|:| -2538 |#2|)) #0#) |has| (-2 (|:| -3090 |#1|) (|:| -2538 |#2|)) (-309 (-2 (|:| -3090 |#1|) (|:| -2538 |#2|))))) ((((-564)) . T) (($) -2797 (|has| |#1| (-307)) (|has| |#1| (-363)) (|has| |#1| (-349)) (|has| |#1| (-556))) (((-407 (-564))) -2797 (|has| |#1| (-363)) (|has| |#1| (-349)) (|has| |#1| (-1034 (-407 (-564))))) ((|#1|) . T)) (((|#2| |#2|) . T)) |