anchor.diff:      ;"Library/Structures/Data/Sets/Handwritten/Lisp/SetAsCachedHArray.lisp"
       "Library/Structures/Data/Sets/Handwritten/Lisp/SetAsSTHarray.lisp"
       "Library/Structures/Data/Monad/Handwritten/Lisp/State.lisp"
  +    "Library/Algorithms/Handwritten/Lisp/Thread.lisp"
       "Languages/XML/Handwritten/Lisp/Chars.lisp"  ; unicode predicates for XML
       "Languages/XML/Handwritten/Lisp/Magic.lisp"  ; escapes from metaslang type system
       "Provers/DP/Handwritten/Lisp/Rational.lisp"
  
positive.code: 
  #+case-sensitive
  (eval-when (:compile-toplevel :load-toplevel :execute)
    (setf (readtable-case *readtable*) :invert))
  
  (defpackage :SpecToLisp)
  (defpackage :Specware (:use :cl)   ; Most systems default to this but not sbcl until patch loaded below
  
negative.code:     "Library/Legacy/Utilities/Handwritten/Lisp/State.lisp"
      "Library/Legacy/Utilities/Handwritten/Lisp/IO.lisp"
      "Library/Legacy/Utilities/Handwritten/Lisp/Lisp.lisp"
      "Library/Algorithms/Handwritten/Lisp/Thread.lisp"
      "Library/Legacy/DataStructures/Handwritten/Lisp/HashTable.lisp"
      "Library/Structures/Data/Maps/Handwritten/Lisp/MapAsSTHarray.lisp"
      "Library/Structures/Data/Maps/Handwritten/Lisp/MapAsBTHarray.lisp"
  