chapter AFP

session Package_logic = HOL +
  options [timeout=300]
  theories
  	SepAlgebra
  	PackageLogic
  document_files
	"root.bib"
    	"root.tex"
