diff --git a/pcl/defs.lisp b/pcl/defs.lisp
index 9f81139a0c180c920edce7cdfe702c20a121ea3a..b57e9d02a35425616f415d49bdd2f325536788b2 100644
--- a/pcl/defs.lisp
+++ b/pcl/defs.lisp
@@ -197,14 +197,6 @@
     (setf (lisp:find-class name)
 	  (lisp::make-standard-class :name name))))
 
-(defun make-class-eq-predicate (class)
-  (when (symbolp class) (setq class (find-class class)))
-  (lambda (object) (eq class (class-of object))))
-
-(defun make-eql-predicate (eql-object)
-  (lambda (object) (eql eql-object object)))
-
-
 ;;; Internal to this file.
 ;;;
 ;;; These functions are a pale imitiation of their namesake.  They accept
@@ -300,40 +292,12 @@
 (pushnew 'class *variable-declarations*)
 (pushnew 'variable-rebinding *variable-declarations*)
 
-(defun variable-class (var env)
-  (caddr (variable-declaration 'class var env)))
-
 (defvar *name->class->slotd-table* (make-hash-table))
 
-
-;;;
-;;; This is used by combined methods to communicate the next methods to
-;;; the methods they call.  This variable is captured by a lexical variable
-;;; of the methods to give it the proper lexical scope.
-;;; 
-(defvar *next-methods* nil)
-
-(defvar *not-an-eql-specializer* '(not-an-eql-specializer))
-
-(defvar *umi-gfs*)
-(defvar *umi-complete-classes*)
-(defvar *umi-reorder*)
-
-(defvar *invalidate-discriminating-function-force-p* ())
-(defvar *invalid-dfuns-on-stack* ())
-
-
 (defvar *standard-method-combination*)
 
-(defvar *slotd-unsupplied* (list '*slotd-unsupplied*))	;***
 
 
-(defmacro define-gf-predicate (predicate-name &rest classes)
-  `(progn 
-     (defmethod ,predicate-name ((x t)) nil)
-     ,@(mapcar (lambda (c) `(defmethod ,predicate-name ((x ,c)) t))
-	       classes)))
-
 (defun make-class-predicate-name (name)
   (intern (format nil "~A::~A class predicate"
 		  (package-name (symbol-package name))