diff options
| author | dos-reis <gdr@axiomatics.org> | 2009-09-22 09:06:30 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2009-09-22 09:06:30 +0000 |
| commit | d351d1076c6a506fc4bbbb01d26e86c187096ef8 (patch) | |
| tree | 7969265cca67f694978760006059f15a1805c018 /src/share/algebra/category.daase | |
| parent | ccd373d0966e45e4700f701160d1ac91ffcb9396 (diff) | |
| download | open-axiom-d351d1076c6a506fc4bbbb01d26e86c187096ef8.tar.gz | |
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 a1a02c10..4852c2e7 100644 --- a/src/share/algebra/category.daase +++ b/src/share/algebra/category.daase @@ -1,5 +1,5 @@ -(188047 . 3462558067) +(188047 . 3462598961) (((|#2| |#2|) -12 (|has| |#2| (-310 |#2|)) (|has| |#2| (-1099))) ((#0=(-2 (|:| -3476 |#1|) (|:| -2484 |#2|)) #0#) |has| (-2 (|:| -3476 |#1|) (|:| -2484 |#2|)) (-310 (-2 (|:| -3476 |#1|) (|:| -2484 |#2|))))) ((((-566)) . T) (($) -2676 (|has| |#1| (-308)) (|has| |#1| (-365)) (|has| |#1| (-351)) (|has| |#1| (-558))) (((-409 (-566))) -2676 (|has| |#1| (-365)) (|has| |#1| (-351)) (|has| |#1| (-1038 (-409 (-566))))) ((|#1|) . T)) (((|#2| |#2|) . T)) |