anchor.diff:  //
   [<AutoOpen>]
   module Logger =
  +    open NLog
  +
       /// The standard logger for NHol.
       let logger = LogManager.GetLogger "file"
   
  
positive.code:               let footer = "footer: " + toStringWithDefault "None" targetWithHeaders.Footer
                let acc = ("[" + name + ", " + layout + ", " + header + ", " + footer + "]") :: acc
                processTargets tl acc
            | :? Targets.TargetWithLayout as targetWithLayout -> 
                let name = "name: " + target.Name
                let layout = "layout: " + toStringWithDefault "None" targetWithLayout.Layout
                let acc = ("[" + name + ", " + layout + "]") :: acc
                processTargets tl acc
            | _ -> 
                let name = target.Name
                let acc = ("[" + name + "]") :: acc
                processTargets tl acc
  
negative.code: [<AutoOpen>]
  module NHol.Logging
  
  #endif
  
  // Log support functions
  [<RequireQualifiedAccess; CompilationRepresentation(CompilationRepresentationFlags.ModuleSuffix)>]
  module Logging =
      open System.Diagnostics
      open System.IO
      open Microsoft.FSharp.Core.Printf
      open NLog
  
      //
      let configureNLog () =
          // If you copy or move this be sure to verify directory path is correct
  