1 files changed, 0 insertions, 58 deletions
diff --git a/src/algebra/strap/BOOLEAN.lsp b/src/algebra/strap/BOOLEAN.lsp
index 693fc054..1e367244 100644
--- a/src/algebra/strap/BOOLEAN.lsp
+++ b/src/algebra/strap/BOOLEAN.lsp
@@ -220,62 +220,4 @@
                                   0 0 1 2 0 18 0 0 22 2 0 0 0 0 12)))))
           '|lookupComplete|)) 
 
-(SETQ |$CategoryFrame|
-      (|put| '|Boolean| '|isFunctor|
-             '(((|test| ($ $)) T (ELT $ 6))
-               ((|nor| ($ $ $)) T (ELT $ 16))
-               ((|nand| ($ $ $)) T (ELT $ 17))
-               ((|xor| ($ $ $)) T (ELT $ 15))
-               ((|false| ($)) T (CONST $ 8))
-               ((|true| ($)) T (CONST $ 7))
-               ((|convert| ((|InputForm|) $)) T (ELT $ 36))
-               ((|not| ($ $)) T (ELT $ 9))
-               ((|and| ($ $ $)) T (ELT $ 11))
-               ((|or| ($ $ $)) T (ELT $ 13))
-               ((|implies| ($ $ $)) T (ELT $ 20))
-               ((|equiv| ($ $ $)) T (ELT $ 21))
-               ((~ ($ $)) T (ELT $ 10)) ((|/\\| ($ $ $)) T (ELT $ 12))
-               ((|\\/| ($ $ $)) T (ELT $ 14))
-               ((|size| ((|NonNegativeInteger|))) T (ELT $ 24))
-               ((|index| ($ (|PositiveInteger|))) T (ELT $ 28))
-               ((|lookup| ((|PositiveInteger|) $)) T (ELT $ 29))
-               ((|random| ($)) T (ELT $ 30))
-               ((|min| ($ $ $)) T (ELT $ NIL))
-               ((|max| ($ $ $)) T (ELT $ NIL))
-               ((<= ((|Boolean|) $ $)) T (ELT $ NIL))
-               ((>= ((|Boolean|) $ $)) T (ELT $ NIL))
-               ((> ((|Boolean|) $ $)) T (ELT $ NIL))
-               ((< ((|Boolean|) $ $)) T (ELT $ 22))
-               ((|latex| ((|String|) $)) T (ELT $ NIL))
-               ((|hash| ((|SingleInteger|) $)) T (ELT $ NIL))
-               ((|coerce| ((|OutputForm|) $)) T (ELT $ 39))
-               ((= ((|Boolean|) $ $)) T (ELT $ 19))
-               ((~= ((|Boolean|) $ $)) T (ELT $ NIL)))
-             (|addModemap| '|Boolean| '(|Boolean|)
-                 '((|Join| (|OrderedFinite|) (|Logic|)
-                           (|PropositionalLogic|)
-                           (|ConvertibleTo| (|InputForm|))
-                           (CATEGORY |domain|
-                               (SIGNATURE |true| ($) |constant|)
-                               (SIGNATURE |false| ($) |constant|)
-                               (SIGNATURE |xor| ($ $ $))
-                               (SIGNATURE |nand| ($ $ $))
-                               (SIGNATURE |nor| ($ $ $))
-                               (SIGNATURE |test| ($ $)))))
-                 T '|Boolean|
-                 (|put| '|Boolean| '|mode|
-                        '(|Mapping|
-                             (|Join| (|OrderedFinite|) (|Logic|)
-                                     (|PropositionalLogic|)
-                                     (|ConvertibleTo| (|InputForm|))
-                                     (CATEGORY |domain|
-                                      (SIGNATURE |true| ($) |constant|)
-                                      (SIGNATURE |false| ($)
-                                       |constant|)
-                                      (SIGNATURE |xor| ($ $ $))
-                                      (SIGNATURE |nand| ($ $ $))
-                                      (SIGNATURE |nor| ($ $ $))
-                                      (SIGNATURE |test| ($ $)))))
-                        |$CategoryFrame|)))) 
-
 (MAKEPROP '|Boolean| 'NILADIC T)