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