anchor.diff:  
   :: Set variables which hold command-line arguments to be passed to F# Interactive.
   set fsi_args= --lib:NHol^
  +  --define:FSI_VER_2^
     --define:DEBUG^
     --define:TRACE^
     --define:USE^
  
positive.code:   --use:cart.fs^
    --use:define.fs^
    --use:help.fs^
    --use:database.fs
  
  :: Try to find the user's installation of F# Interactive.
  if exist %FSI_30% (
  
negative.code: 
  :: Load the NHol environment into the detected version of F# Interactive.
  echo Loading NHol into F# Interactive.
  %FSI% %fsi_args% %FSI_VER_FLAG%
  