2 files changed, 0 insertions, 71 deletions
diff --git a/src/algebra/strap/SETCAT-.lsp b/src/algebra/strap/SETCAT-.lsp
deleted file mode 100644
index 72ddd996..00000000
--- a/src/algebra/strap/SETCAT-.lsp
+++ /dev/null
@@ -1,44 +0,0 @@
-
-(/VERSIONCHECK 2) 
-
-(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Shell|) |%Short|)
-                |SETCAT-;hash;SSi;1|)) 
-
-(PUT '|SETCAT-;hash;SSi;1| '|SPADreplace| 'SXHASH) 
-
-(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Shell|) |%String|)
-                |SETCAT-;latex;SS;2|)) 
-
-(PUT '|SETCAT-;latex;SS;2| '|SPADreplace|
-     '(XLAM (|s|) "\\mbox{\\bf Unimplemented}")) 
-
-(DEFUN |SETCAT-;hash;SSi;1| (|s| $) (DECLARE (IGNORE $)) (SXHASH |s|)) 
-
-(DEFUN |SETCAT-;latex;SS;2| (|s| $)
-  (DECLARE (IGNORE $))
-  "\\mbox{\\bf Unimplemented}") 
-
-(DEFUN |SetCategory&| (|#1|)
-  (PROG (|dv$1| |dv$| $ |pv$|)
-    (RETURN
-      (PROGN
-        (LETT |dv$1| (|devaluate| |#1|) . #0=(|SetCategory&|))
-        (LETT |dv$| (LIST '|SetCategory&| |dv$1|) . #0#)
-        (LETT $ (|newShell| 11) . #0#)
-        (|setShellEntry| $ 0 |dv$|)
-        (|setShellEntry| $ 3
-            (LETT |pv$| (|buildPredVector| 0 0 NIL) . #0#))
-        (|stuffDomainSlots| $)
-        (|setShellEntry| $ 6 |#1|)
-        $)))) 
-
-(MAKEPROP '|SetCategory&| '|infovec|
-    (LIST '#(NIL NIL NIL NIL NIL NIL (|local| |#1|) (|SingleInteger|)
-             |SETCAT-;hash;SSi;1| (|String|) |SETCAT-;latex;SS;2|)
-          '#(|latex| 0 |hash| 5) 'NIL
-          (CONS (|makeByteWordVec2| 1 'NIL)
-                (CONS '#()
-                      (CONS '#()
-                            (|makeByteWordVec2| 10
-                                '(1 0 9 0 10 1 0 7 0 8)))))
-          '|lookupComplete|)) 
diff --git a/src/algebra/strap/SETCAT.lsp b/src/algebra/strap/SETCAT.lsp
deleted file mode 100644
index 9b1da323..00000000
--- a/src/algebra/strap/SETCAT.lsp
+++ /dev/null
@@ -1,27 +0,0 @@
-
-(/VERSIONCHECK 2) 
-
-(DEFPARAMETER |SetCategory;AL| 'NIL) 
-
-(DEFUN |SetCategory;| ()
-  (PROG (#0=#:G1399)
-    (RETURN
-      (PROG1 (LETT #0#
-                   (|sublisV|
-                       (PAIR '(#1=#:G1398) (LIST '(|OutputForm|)))
-                       (|Join| (|BasicType|) (|CoercibleTo| '#1#)
-                               (|mkCategory| '|domain|
-                                   '(((|hash| ((|SingleInteger|) $)) T)
-                                     ((|latex| ((|String|) $)) T))
-                                   NIL '((|String|) (|SingleInteger|))
-                                   NIL)))
-                   |SetCategory|)
-        (|setShellEntry| #0# 0 '(|SetCategory|)))))) 
-
-(DEFUN |SetCategory| ()
-  (LET ()
-    (COND
-      (|SetCategory;AL|)
-      (T (SETQ |SetCategory;AL| (|SetCategory;|)))))) 
-
-(MAKEPROP '|SetCategory| 'NILADIC T)