diff options
Diffstat (limited to 'src/algebra/strap/SINT.lsp')
| -rw-r--r-- | src/algebra/strap/SINT.lsp | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/src/algebra/strap/SINT.lsp b/src/algebra/strap/SINT.lsp index e6b37647..cfb59ef4 100644 --- a/src/algebra/strap/SINT.lsp +++ b/src/algebra/strap/SINT.lsp @@ -627,11 +627,12 @@ |Ring&| NIL NIL NIL NIL NIL NIL |AbelianGroup&| NIL NIL NIL NIL NIL |AbelianMonoid&| |Monoid&| NIL NIL NIL NIL NIL - NIL |AbelianSemiGroup&| |SemiGroup&| NIL NIL - |DifferentialSpace&| |OrderedType&| - |SetCategory&| |Logic&| NIL |RetractableTo&| - |DifferentialDomain&| |BasicType&| NIL NIL NIL - NIL NIL NIL NIL NIL NIL NIL NIL) + NIL |AbelianSemiGroup&| |SemiGroup&| NIL + |BooleanLogic&| |DifferentialSpace&| + |OrderedType&| |SetCategory&| |Logic&| NIL + |RetractableTo&| |DifferentialDomain&| + |BasicType&| NIL NIL NIL NIL NIL NIL NIL NIL + NIL NIL NIL) (CONS '#((|IntegerNumberSystem|) (|EuclideanDomain|) (|UniqueFactorizationDomain|) |