anchor.diff:  ;;; ------------------------------------------------------------------------
   
   (defun make-two-name-expression (name-1 name-2 l r)
  -  (make-fun (cons :|TwoNames| (vector name-1 name-2 unspecified-fixity))
  +  (make-fun (cond ((and ms::usingNewBooleans?
  +			(equal name-1 "Boolean"))
  +		   (cond ((equal name "~") (cons :|Not| nil))
  +			 ((equal name "&")  (cons :|And| nil))
  +			 ((equal name "or") (cons :|Or| nil))
  +			 ;;((equal name ("&&") (cons :|And| nil))
  +			 ;;((equal name ("||") (cons :|Or| nil))
  +			 ((equal name "=>") (cons :|Implies| nil))
  +			 ((equal name "<=>")(cons :|Iff| nil))
  +			 (t 
  +			  (cons :|TwoNames| (vector name-1 name-2 unspecified-fixity)))))
  +		   (t 
  +		    (cons :|TwoNames| (vector name-1 name-2 unspecified-fixity))))
               (freshMetaTypeVar l r)
               l r))
   
  
positive.code: 		*internal-parser-position*)))
  
  (defparameter char-sort   (make-internal-sort "Char"    ))
  (defparameter bool-sort   (make-internal-sort "Boolean" ))
  (defparameter string-sort (make-internal-sort "String"  ))
  (defparameter int-sort    (make-internal-sort "Integer" ))
  (defparameter nat-sort    (make-internal-sort "Nat"     ))
  
negative.code: (defvar *varcounter*            -1)  ; used only in this file (starts at -1 merely for backwards cosmetic compatibility)
  
  (defvar *show-results?* nil)
  (defvar ms::usingNewBooleans? nil)
  
  ;;; ========================================================================
  ;;;  Misc utilities
  