session "isabelle-hacks" = "HOL" +
  options [document = false]
  theories
    Assert
    Hiding_Type_Variables