session "More" = "HOL-Library" +
  options [document = pdf, document_output = "output"]
  theories [document = false]
  theories
     MoreList
     MoreSet
     MoreBigOperators
     MoreMap
     MoreNat
     MoreFun
     MoreBinomial
  document_files
    "root.tex"
