anchor.diff:  [<AutoOpen>]
   module NHol.Logging
   
  -open System.Diagnostics
  -open System.IO
  -open Microsoft.FSharp.Core.Printf
  -open NHol
  -open NLog
  -
   #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
  
positive.code: //
  [<AutoOpen>]
  module Logger =
      /// The standard logger for NHol.
      let logger = LogManager.GetLogger "file"
  
  
negative.code:             List.rev acc
          | (target : Targets.Target) :: tl ->
            match target with
            | :? Targets.FileTarget as fileTarget ->
                let name = "name: " + target.Name
                let layout = "layout: " + toStringWithDefault "None" fileTarget.Layout
                let header = "header: " + toStringWithDefault "None" fileTarget.Header
  