anchor.diff:  :: latest version of F# Interactive (FSI) available on this machine.
   
   @echo off
  +setlocal enabledelayedexpansion
   
   :: Get location of required dll: NHol.dll
   set NHOL_RELATIVE=NHol\bin\Debug\NHol.dll
  
positive.code: 
  :: Load the NHol environment into the detected version of F# Interactive.
  echo Loading NHol into F# Interactive.
  %FSI% %fsi_args% %FSI_VER_FLAG%
  
negative.code: 
  :: Set variables which hold command-line arguments to be passed to F# Interactive.
  set fsi_args= --lib:NHol^
    fsi_ver^
    --define:DEBUG^
    --define:TRACE^
    --define:USE^
  