anchor.diff:  	      (return t))))))
     )
   
  +#-allegro
  +(defun ls (&optional (str ""))
  +  (format t "Not yet implemented")
  +  (values))
  +
  +#-allegro
  +(defun dir (&optional (str ""))
  +  (format t "Not yet implemented")
  +  (values))
  +
  +
   #+allegro
   (top-level:alias ("ls" :string) (&optional (str ""))
     #+UNIX      (shell (format nil "ls ~A"  str))
  
positive.code: 		  *last-swl-args*)))
      (if r-args
  	(progn (setq *last-swl-args* args)
  	       (funcall 'swl (string (first r-args))
  			(if (not (null (second r-args)))
  			    (string (second r-args)) nil)))
        (format t "No previous unit evaluated~%"))))
  
  (defun swll (x &optional y)
    (let ((lisp-file-name (or y (concatenate 'string
  					   specware::temporaryDirectory
  					   "cl-current-file"))))
  
negative.code: 		  *last-swc-args*)))
      (if r-args
  	(progn (setq *last-swc-args* args)
  	       (funcall 'swc-internal (string (first r-args))
  			(if (not (null (second r-args)))
  			    (string (second r-args)) nil)))
        (format t "No previous unit evaluated~%"))))
  