diff options
author | dos-reis <gdr@axiomatics.org> | 2011-01-26 19:40:22 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2011-01-26 19:40:22 +0000 |
commit | 908960a455e09bf5440ab87ed288efc989f8b29e (patch) | |
tree | 1a5b46323e66a6302d10b4e1da8e9af6f8fdb4c1 /src/algebra/strap/ABELGRP.lsp | |
parent | d093a22f14e8f669b08ac407b4a2d6fc32d1e2ae (diff) | |
download | open-axiom-908960a455e09bf5440ab87ed288efc989f8b29e.tar.gz |
Replace more occurences of LIST with %listlit.
Diffstat (limited to 'src/algebra/strap/ABELGRP.lsp')
-rw-r--r-- | src/algebra/strap/ABELGRP.lsp | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/src/algebra/strap/ABELGRP.lsp b/src/algebra/strap/ABELGRP.lsp index 61670471..22c7b920 100644 --- a/src/algebra/strap/ABELGRP.lsp +++ b/src/algebra/strap/ABELGRP.lsp @@ -5,12 +5,12 @@ (DEFUN |AbelianGroup;| () (LET ((#0=#:G1374 - (|sublisV| (PAIR '(#1=#:G1373) (LIST '(|Integer|))) - (|Join| (|CancellationAbelianMonoid|) - (|LeftLinearSet| '#1#) - (|mkCategory| '|domain| - '(((- ($ $)) T) ((- ($ $ $)) T)) NIL - 'NIL NIL))))) + (|sublisV| (PAIR '(#1=#:G1373) '((|Integer|))) + (|Join| (|CancellationAbelianMonoid|) + (|LeftLinearSet| '#1#) + (|mkCategory| '|domain| + '(((- ($ $)) T) ((- ($ $ $)) T)) NIL 'NIL + NIL))))) (|setShellEntry| #0# 0 '(|AbelianGroup|)) #0#)) |