From 66f5a47122d91ad3a395cc02549908b8daf1bdd8 Mon Sep 17 00:00:00 2001 From: dos-reis Date: Thu, 24 Feb 2011 20:16:37 +0000 Subject: Rename getShellEntry to shellEntry now that it is a macro accessor that designate a place (usable in SETF). --- src/share/algebra/category.daase | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'src/share/algebra/category.daase') diff --git a/src/share/algebra/category.daase b/src/share/algebra/category.daase index a1e8f1d0..0b68a7d6 100644 --- a/src/share/algebra/category.daase +++ b/src/share/algebra/category.daase @@ -1,5 +1,5 @@ -(205732 . 3507561101) +(205732 . 3507564593) (((|#2| |#2|) -12 (|has| |#2| (-321 |#2|)) (|has| |#2| (-1132))) ((#0=(-2 (|:| -3820 |#1|) (|:| -2308 |#2|)) #0#) |has| (-2 (|:| -3820 |#1|) (|:| -2308 |#2|)) (-321 (-2 (|:| -3820 |#1|) (|:| -2308 |#2|))))) ((((-560)) . T) (($) -2222 (|has| |#1| (-319)) (|has| |#1| (-376)) (|has| |#1| (-363)) (|has| |#1| (-571))) (((-421 (-560))) -2222 (|has| |#1| (-376)) (|has| |#1| (-363)) (|has| |#1| (-1069 (-421 (-560))))) ((|#1|) . T)) (((|#2| |#2|) . T)) @@ -78,7 +78,7 @@ ((((-560)) . T) (((-421 (-560))) -2222 (|has| |#2| (-38 (-421 (-560)))) (|has| |#2| (-1069 (-421 (-560))))) ((|#2|) . T) (($) -2222 (|has| |#2| (-466)) (|has| |#2| (-571)) (|has| |#2| (-939))) (((-888 |#1|)) . T)) (-2222 (|has| |#1| (-376)) (|has| |#1| (-571))) (-2222 (|has| |#1| (-376)) (|has| |#1| (-571))) -((((-2 (|:| -3972 |#1|) (|:| -1736 |#2|))) . T)) +((((-2 (|:| -3972 |#1|) (|:| -4208 |#2|))) . T)) ((($) . T)) ((((-887)) |has| |#1| (-632 (-887))) ((|#1|) . T)) ((((-560)) . T) (((-421 (-560))) -2222 (|has| |#1| (-38 (-421 (-560)))) (|has| |#1| (-1069 (-421 (-560))))) ((|#1|) . T) (($) -2222 (|has| |#1| (-466)) (|has| |#1| (-571)) (|has| |#1| (-939))) (((-1207)) . T)) @@ -314,11 +314,11 @@ ((((-549)) |has| |#2| (-633 (-549))) (((-915 (-391))) |has| |#2| (-633 (-915 (-391)))) (((-915 (-560))) |has| |#2| (-633 (-915 (-560))))) ((((-887)) . T)) (((|#1| |#2| |#3| |#4|) . T)) -((((-2 (|:| -3972 |#1|) (|:| -1736 |#2|))) . T) (((-887)) . T)) +((((-2 (|:| -3972 |#1|) (|:| -4208 |#2|))) . T) (((-887)) . T)) ((((-549)) |has| |#1| (-633 (-549))) (((-915 (-391))) |has| |#1| (-633 (-915 (-391)))) (((-915 (-560))) |has| |#1| (-633 (-915 (-560))))) (((|#4|) -2222 (|has| |#4| (-175)) (|has| |#4| (-376)) (|has| |#4| (-1080)))) (((|#3|) -2222 (|has| |#3| (-175)) (|has| |#3| (-376)) (|has| |#3| (-1080)))) -((((-2 (|:| -3972 |#1|) (|:| -1736 |#2|))) . T)) +((((-2 (|:| -3972 |#1|) (|:| -4208 |#2|))) . T)) ((((-887)) . T)) ((((-887)) . T)) ((((-549)) . T) (((-560)) . T) (((-915 (-560))) . T) (((-391)) . T) (((-229)) . T)) -- cgit v1.2.3