chapter AFP

session Algebraic_Numbers = Berlekamp_Zassenhaus +
  description "Algebraic Numbers"
  options [timeout = 3600]
  sessions
    Sturm_Sequences
  theories
    Complex_Algebraic_Numbers
    Show_Real_Approx
    Show_Real_Precise
    Algebraic_Number_Tests
    Algebraic_Numbers_External_Code
  document_files
    "root.bib"
    "root.tex"
