anchor.diff:  ;;; include, the Metaslang characters.
   
   
  +(defun chr (n)
  +  (code-char n))
  +
   (defun ord (ch)
     (char-code ch))
  -
  -(defun chr (n)
  -  (code-char n))
   
   ;;; lower-case-p, upper-case-p etc. only guaranteed for Standard ASCII (First 96 characters)
   (defun isUpperCase (char)
  
positive.code: (defvar SpecToLisp::SuppressGeneratedDefuns nil) ; note: defvar does not redefine if var already has a value
  
  (setq SpecToLisp::SuppressGeneratedDefuns
        (append '("CHAR-SPEC::ord" 
  		"CHAR-SPEC::chr" 
  		"CHAR-SPEC::isUpperCase"
  		"CHAR-SPEC::isLowerCase"
  		"CHAR-SPEC::isAlpha"
  
negative.code: 		"CHAR-SPEC::toLowerCase")
  	      SpecToLisp::SuppressGeneratedDefuns))
  
  
  ;;; While in Metaslang characters are exactly those occupying decimal
  ;;; positions 0 to 255 in the ISO-8859-1 code table, the Common Lisp
  ;;; standard does not commit to that. So, Specware-generated code and the
  