chapter AFP

session PAPP_Impossibility = "HOL-Library" +
  options [timeout = 900]
  sessions
    Randomised_Social_Choice
  theories [document = false]
    SAT_Replay
  theories
    PAPP_Impossibility
  document_files
    root.tex
    root.bib
