anchor.diff:      (copy-dist-directory (extend-directory source-dir    "ProverBase")
   			 (extend-directory component-dir "ProverBase"))
   
  -    (copy-dist-directory (extend-directory source-dir    "Isa")
  -			 (extend-directory component-dir "Isa"))
  +    (copy-dist-directory (extend-directory source-dir    "Haskell")
  +			 (extend-directory component-dir "Haskell"))
       
       (copy-dist-directory (extend-directory source-dir    "General")
   			 (extend-directory component-dir "General"))
  
positive.code:          (Distribution::*ignored-types*
            (if *copy-elc-files?* Distribution::*ignored-types* (cons "elc" Distribution::*ignored-types*)))
  	 ;;
  	 (all-files        (append generic-files slime-files ilisp-files xeli-files openmcl-files ignored-files))
  	 (all-dirs         (append generic-dirs  slime-dirs  ilisp-dirs  xeli-dirs  openmcl-dirs  ignored-dirs))
  	 )
  
  
  
negative.code: 	 ;;
  	 (generic-dir      (if *test?* component-dir (ensure-subdir-exists component-dir "Generic")))
  	 (slime-dir        (if *test?* component-dir (ensure-subdir-exists component-dir "slime")))
           (haskell-dir      (if *test?* component-dir (ensure-subdir-exists component-dir "haskell-mode")))
  	 (openmcl-dir      (if *test?* component-dir (ensure-subdir-exists component-dir "OpenMCL")))
  	 ;;
  	 (generic-dirs     '("x-symbol"))
  