1 files changed, 0 insertions, 23 deletions
diff --git a/contrib/ML4PG/ssreflect/auxiliary_files.el b/contrib/ML4PG/ssreflect/auxiliary_files.el
deleted file mode 100644
index 95a4ce0a..00000000
--- a/contrib/ML4PG/ssreflect/auxiliary_files.el
+++ /dev/null
@@ -1,23 +0,0 @@
-(defun ml4pg-quicksort-pair (list)
-  (if (<= (length list) 1)
-      list
-      (let ((pivot (cadar list)))
-	(append	(ml4pg-quicksort-pair (remove-if-not #'(lambda (x) (> (cadr x) pivot)) list))
-	  (remove-if-not #'(lambda (x) (= (cadr x) pivot)) list)
-          (ml4pg-quicksort-pair (remove-if-not #'(lambda (x) (< (cadr x) pivot)) list))))))
-
-  
-(defun ml4pg-zip (l1 l2)
-  (do ((temp1 l1 (cdr temp1))
-       (temp2 l2 (cdr temp2))
-       (res nil))
-      ((endp temp1) res)
-      (setf res (append res (list (append (list (car temp1)) (list (car temp2))))))))
-
-(defun ml4pg-unzip (l)
-  (do ((temp l (cdr temp))
-       (res1 nil)
-       (res2 nil))
-      ((endp temp) (list (reverse res1) (reverse res2)))
-    (progn (setf res1 (cons (caar temp) res1))
-	   (setf res2 (cons (cadr (car temp)) res2)))))