session Assignment1 = "HOL" +
  options [quick_and_dirty, document = pdf, document_output = "output", document_variants = "document:assignment1=-proof"]
  theories [document = false]
    Small_Step
  theories
    Assignment1
  document_files
    "root.tex"
    "intro.tex"
