chapter Axiomatics

session "Axiomatics" = "HOL" +
  options [document = false]
  theories
    Axiomatics
