chapter AFP

session HyperHoareLogic = HOL +
  options [timeout = 600]
  theories
	PaperResults
	Language
	Logic
	ProgramHyperproperties
	SyntacticAssertions
	Loops
	Expressivity
	Compositionality
	ExamplesCompositionality
	TotalLogic
  document_files
    "root.bib"
    "root.tex"
