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/QFCAT-.lsp | |
parent | d093a22f14e8f669b08ac407b4a2d6fc32d1e2ae (diff) | |
download | open-axiom-908960a455e09bf5440ab87ed288efc989f8b29e.tar.gz |
Replace more occurences of LIST with %listlit.
Diffstat (limited to 'src/algebra/strap/QFCAT-.lsp')
-rw-r--r-- | src/algebra/strap/QFCAT-.lsp | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/algebra/strap/QFCAT-.lsp b/src/algebra/strap/QFCAT-.lsp index 8b0d783e..9821d0ef 100644 --- a/src/algebra/strap/QFCAT-.lsp +++ b/src/algebra/strap/QFCAT-.lsp @@ -288,18 +288,18 @@ (|HasCategory| |#2| '(|IntegerNumberSystem|)) (|HasCategory| |#2| '(|EuclideanDomain|)) (|HasCategory| |#2| - (LIST '|RetractableTo| '(|Symbol|))) + '(|RetractableTo| (|Symbol|))) (|HasCategory| |#2| '(|CharacteristicNonZero|)) (|HasCategory| |#2| '(|CharacteristicZero|)) (|HasCategory| |#2| - (LIST '|ConvertibleTo| '(|InputForm|))) + '(|ConvertibleTo| (|InputForm|))) (|HasCategory| |#2| '(|RealConstant|)) (|HasCategory| |#2| '(|OrderedIntegralDomain|)) (|HasCategory| |#2| '(|OrderedSet|)) (|HasCategory| |#2| - (LIST '|RetractableTo| '(|Integer|))) + '(|RetractableTo| (|Integer|))) (|HasCategory| |#2| '(|StepThrough|)))))) (|setShellEntry| $ 0 |dv$|) (|setShellEntry| $ 3 |pv$|) |