diff options
| author | dos-reis <gdr@axiomatics.org> | 2010-10-27 08:36:45 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2010-10-27 08:36:45 +0000 |
| commit | 88431a10d86db0b69fb67339dcacf088d005482b (patch) | |
| tree | 4c513999f071ffe782b50f061b21320936147a88 /src/algebra/strap/CLAGG-.lsp | |
| parent | 388a4332860c39a19fedbe2bdc4dbc8b411115e6 (diff) | |
| download | open-axiom-88431a10d86db0b69fb67339dcacf088d005482b.tar.gz | |
* algebra/boolean.spad.pamphlet (Logic): Now extend Type.
Diffstat (limited to 'src/algebra/strap/CLAGG-.lsp')
| -rw-r--r-- | src/algebra/strap/CLAGG-.lsp | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/src/algebra/strap/CLAGG-.lsp b/src/algebra/strap/CLAGG-.lsp index eb404d15..9acb3b8b 100644 --- a/src/algebra/strap/CLAGG-.lsp +++ b/src/algebra/strap/CLAGG-.lsp @@ -45,14 +45,14 @@ (LENGTH (SPADCALL |c| (|getShellEntry| $ 9)))) (DEFUN |CLAGG-;count;MANni;2| (|f| |c| $) - (LET ((#0=#:G1402 NIL) (#1=#:G1403 T) - (#2=#:G1429 (SPADCALL |c| (|getShellEntry| $ 9)))) + (LET ((#0=#:G1377 NIL) (#1=#:G1378 T) + (#2=#:G1404 (SPADCALL |c| (|getShellEntry| $ 9)))) (LOOP (COND ((ATOM #2#) (RETURN (COND (#1# 0) (T #0#)))) (T (LET ((|x| (CAR #2#))) (AND (SPADCALL |x| |f|) - (LET ((#3=#:G1401 1)) + (LET ((#3=#:G1376 1)) (COND (#1# (SETQ #0# #3#)) (T (SETQ #0# (+ #0# #3#)))) @@ -60,25 +60,25 @@ (SETQ #2# (CDR #2#))))) (DEFUN |CLAGG-;any?;MAB;3| (|f| |c| $) - (LET ((#0=#:G1407 NIL) (#1=#:G1408 T) - (#2=#:G1430 (SPADCALL |c| (|getShellEntry| $ 9)))) + (LET ((#0=#:G1382 NIL) (#1=#:G1383 T) + (#2=#:G1405 (SPADCALL |c| (|getShellEntry| $ 9)))) (LOOP (COND ((ATOM #2#) (RETURN (COND (#1# NIL) (T #0#)))) (T (LET ((|x| (CAR #2#))) - (LET ((#3=#:G1406 (SPADCALL |x| |f|))) + (LET ((#3=#:G1381 (SPADCALL |x| |f|))) (COND (#1# (SETQ #0# #3#)) (T (SETQ #0# (OR #0# #3#)))) (SETQ #1# NIL))))) (SETQ #2# (CDR #2#))))) (DEFUN |CLAGG-;every?;MAB;4| (|f| |c| $) - (LET ((#0=#:G1411 NIL) (#1=#:G1412 T) - (#2=#:G1431 (SPADCALL |c| (|getShellEntry| $ 9)))) + (LET ((#0=#:G1386 NIL) (#1=#:G1387 T) + (#2=#:G1406 (SPADCALL |c| (|getShellEntry| $ 9)))) (LOOP (COND ((ATOM #2#) (RETURN (COND (#1# T) (T #0#)))) (T (LET ((|x| (CAR #2#))) - (LET ((#3=#:G1410 (SPADCALL |x| |f|))) + (LET ((#3=#:G1385 (SPADCALL |x| |f|))) (COND (#1# (SETQ #0# #3#)) (T (SETQ #0# (AND #0# #3#)))) |