anchor.diff:  
   *)
   
  -[<NUnit.Framework.TestFixture>]
  +[<NUnit.Framework.TestFixture(
  +    Category = "LongRunning",
  +    Ignore = true,
  +    IgnoreReason = "This text fixture is currently broken.")>]
   module Tests.NHol.Tutorial
   
   open NUnit.Framework
  
positive.code:       (input_b ==> (output <=> F))
        ==> (output <=> ~(input_a \/ input_b))"
      |> ignore
  #endif
  
negative.code: open NHol.pair
  open NHol.nums
  open NHol.recursion
  open NHol.arith
  open NHol.wf
  open NHol.calc_num
  open NHol.normalizer
  open NHol.grobner
  open NHol.ind_types
  open NHol.lists
  open NHol.realax
  open NHol.calc_int
  open NHol.realarith
  open NHol.real
  open NHol.calc_rat
  open NHol.int
  open NHol.sets
  open NHol.iterate
  open NHol.cart
  open NHol.define
  
  
  [<TestFixtureSetUp>]
  let SetUp () =
      printfn "I'm set up for the fixture"
  