From 88431a10d86db0b69fb67339dcacf088d005482b Mon Sep 17 00:00:00 2001 From: dos-reis Date: Wed, 27 Oct 2010 08:36:45 +0000 Subject: * algebra/boolean.spad.pamphlet (Logic): Now extend Type. --- src/algebra/strap/ALAGG.lsp | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'src/algebra/strap/ALAGG.lsp') diff --git a/src/algebra/strap/ALAGG.lsp b/src/algebra/strap/ALAGG.lsp index c33b5d87..fbbb335a 100644 --- a/src/algebra/strap/ALAGG.lsp +++ b/src/algebra/strap/ALAGG.lsp @@ -6,12 +6,12 @@ (DEFPARAMETER |AssociationListAggregate;AL| 'NIL) (DEFUN |AssociationListAggregate;| (|t#1| |t#2|) - (LET ((#0=#:G1399 + (LET ((#0=#:G1374 (|sublisV| (PAIR '(|t#1| |t#2|) (LIST (|devaluate| |t#1|) (|devaluate| |t#2|))) (|sublisV| - (PAIR '(#1=#:G1398) + (PAIR '(#1=#:G1373) (LIST '(|Record| (|:| |key| |t#1|) (|:| |entry| |t#2|)))) (COND @@ -34,9 +34,9 @@ (|devaluate| |t#2|))) #0#)) -(DEFUN |AssociationListAggregate| (&REST #0=#:G1402 &AUX #1=#:G1400) +(DEFUN |AssociationListAggregate| (&REST #0=#:G1377 &AUX #1=#:G1375) (DSETQ #1# #0#) - (LET ((#2=#:G1401 + (LET ((#2=#:G1376 (|assoc| (|devaluateList| #1#) |AssociationListAggregate;AL|))) (COND -- cgit v1.2.3