chapter AFP

session Polynomial_Factorization = "HOL-Algebra" +
  description "Algebraic Numbers"
  options [timeout = 600]
  sessions
    Containers
    "Abstract-Rewriting"
    Gauss_Jordan Matrix
    Polynomial_Interpolation
    Show
    VectorSpace
    "HOL-Cardinals"
    Partial_Function_MR
    Polynomial_Interpolation
    Show
    Sqrt_Babylonian
  theories
    Missing_Multiset
    Missing_List
    Precomputation
    Order_Polynomial
    Explicit_Roots
    Dvd_Int_Poly
    Rational_Root_Test
    Kronecker_Factorization
    Square_Free_Factorization
    Rational_Factorization
  document_files
    "root.bib"
    "root.tex"
