chapter AFP

session Involutions2Squares = HOL +
  options [timeout = 300]
  theories
    Involutions2Squares
  document_files
    "root.tex"
