1 files changed, 0 insertions, 104 deletions
diff --git a/src/algebra/strap/CLAGG-.lsp b/src/algebra/strap/CLAGG-.lsp
index 4b61a7db..09d47ce4 100644
--- a/src/algebra/strap/CLAGG-.lsp
+++ b/src/algebra/strap/CLAGG-.lsp
@@ -268,107 +268,3 @@
                                   13 0 16 2 0 10 13 0 14 2 0 12 13 0 15
                                   1 0 10 0 11)))))
           '|lookupComplete|)) 
-
-(SETQ |$CategoryFrame|
-      (|put| '|Collection&| '|isFunctor|
-             '(((|removeDuplicates| ($ $)) T (ELT $ 36))
-               ((|remove| ($ |#2| $)) T (ELT $ 32))
-               ((|reduce|
-                    (|#2| (|Mapping| |#2| |#2| |#2|) $ |#2| |#2|))
-                T (ELT $ 34))
-               ((|select| ($ (|Mapping| (|Boolean|) |#2|) $)) T
-                (ELT $ 29))
-               ((|remove| ($ (|Mapping| (|Boolean|) |#2|) $)) T
-                (ELT $ 27))
-               ((|reduce| (|#2| (|Mapping| |#2| |#2| |#2|) $ |#2|)) T
-                (ELT $ 24))
-               ((|reduce| (|#2| (|Mapping| |#2| |#2| |#2|) $)) T
-                (ELT $ 22))
-               ((|find| ((|Union| |#2| "failed")
-                         (|Mapping| (|Boolean|) |#2|) $))
-                T (ELT $ 19))
-               ((|count| ((|NonNegativeInteger|) |#2| $)) T
-                (ELT $ NIL))
-               ((|count| ((|NonNegativeInteger|)
-                          (|Mapping| (|Boolean|) |#2|) $))
-                T (ELT $ 14))
-               ((|every?| ((|Boolean|) (|Mapping| (|Boolean|) |#2|) $))
-                T (ELT $ 16))
-               ((|any?| ((|Boolean|) (|Mapping| (|Boolean|) |#2|) $)) T
-                (ELT $ 15))
-               ((|#| ((|NonNegativeInteger|) $)) T (ELT $ 11)))
-             (|addModemap| '|Collection&| '(|Collection&| |#1| |#2|)
-                 '((CATEGORY |domain|
-                       (SIGNATURE |removeDuplicates| (|#1| |#1|))
-                       (SIGNATURE |remove| (|#1| |#2| |#1|))
-                       (SIGNATURE |reduce|
-                           (|#2| (|Mapping| |#2| |#2| |#2|) |#1| |#2|
-                                 |#2|))
-                       (SIGNATURE |select|
-                           (|#1| (|Mapping| (|Boolean|) |#2|) |#1|))
-                       (SIGNATURE |remove|
-                           (|#1| (|Mapping| (|Boolean|) |#2|) |#1|))
-                       (SIGNATURE |reduce|
-                           (|#2| (|Mapping| |#2| |#2| |#2|) |#1| |#2|))
-                       (SIGNATURE |reduce|
-                           (|#2| (|Mapping| |#2| |#2| |#2|) |#1|))
-                       (SIGNATURE |find|
-                           ((|Union| |#2| "failed")
-                            (|Mapping| (|Boolean|) |#2|) |#1|))
-                       (SIGNATURE |count|
-                           ((|NonNegativeInteger|) |#2| |#1|))
-                       (SIGNATURE |count|
-                           ((|NonNegativeInteger|)
-                            (|Mapping| (|Boolean|) |#2|) |#1|))
-                       (SIGNATURE |every?|
-                           ((|Boolean|) (|Mapping| (|Boolean|) |#2|)
-                            |#1|))
-                       (SIGNATURE |any?|
-                           ((|Boolean|) (|Mapping| (|Boolean|) |#2|)
-                            |#1|))
-                       (SIGNATURE |#| ((|NonNegativeInteger|) |#1|)))
-                   (|Collection| |#2|) (|Type|))
-                 T '|Collection&|
-                 (|put| '|Collection&| '|mode|
-                        '(|Mapping|
-                             (CATEGORY |domain|
-                                 (SIGNATURE |removeDuplicates|
-                                     (|#1| |#1|))
-                                 (SIGNATURE |remove| (|#1| |#2| |#1|))
-                                 (SIGNATURE |reduce|
-                                     (|#2| (|Mapping| |#2| |#2| |#2|)
-                                      |#1| |#2| |#2|))
-                                 (SIGNATURE |select|
-                                     (|#1| (|Mapping| (|Boolean|) |#2|)
-                                      |#1|))
-                                 (SIGNATURE |remove|
-                                     (|#1| (|Mapping| (|Boolean|) |#2|)
-                                      |#1|))
-                                 (SIGNATURE |reduce|
-                                     (|#2| (|Mapping| |#2| |#2| |#2|)
-                                      |#1| |#2|))
-                                 (SIGNATURE |reduce|
-                                     (|#2| (|Mapping| |#2| |#2| |#2|)
-                                      |#1|))
-                                 (SIGNATURE |find|
-                                     ((|Union| |#2| "failed")
-                                      (|Mapping| (|Boolean|) |#2|)
-                                      |#1|))
-                                 (SIGNATURE |count|
-                                     ((|NonNegativeInteger|) |#2| |#1|))
-                                 (SIGNATURE |count|
-                                     ((|NonNegativeInteger|)
-                                      (|Mapping| (|Boolean|) |#2|)
-                                      |#1|))
-                                 (SIGNATURE |every?|
-                                     ((|Boolean|)
-                                      (|Mapping| (|Boolean|) |#2|)
-                                      |#1|))
-                                 (SIGNATURE |any?|
-                                     ((|Boolean|)
-                                      (|Mapping| (|Boolean|) |#2|)
-                                      |#1|))
-                                 (SIGNATURE |#|
-                                     ((|NonNegativeInteger|) |#1|)))
-                             (|Collection| |#2|) (|Type|))
-                        |$CategoryFrame|))))