 		 sym)))
       (let ((results (sw:eval-in-lisp (make-search-form qualifier sym))))
 	(message nil)
-	(if (or (null results) (eq results 'NIL))
+	(if (member results '(nil NIL))
 	    (error "Can't find definition of %s." name)
 	  (goto-specware-meta-point-definition sym results))))))
 

		     (head-dir-uid (split-filename-for-path filename)))
		 (lisp-or-specware-command
		  ":swpath " "path "
		  oldpath
		  (if (eq window-system 'mswindows) ";" ":")
		  (car head-dir-uid))
		 (sleep-for 0.1)	; Just to avoid confusing output

	(result ())
	(specware4 (sw:eval-in-lisp "(specware::getenv \"SPECWARE4\")"))
	pos)
    (when (member rawpath '(nil NIL))		; SWPATH not set -- be agnostic about case
      (setq rawpath specware4)
      (when (member rawpath '(nil NIL))		; SPECWARE4 not set -- be agnostic about case
	(setq rawpath "")))
    (while (setq pos (position delim rawpath))
      (push (substring rawpath 0 pos) result)
