chapter AFP

session "Jordan_Normal_Form" = "HOL-Algebra" +
  options [timeout = 1200]
  sessions
    "HOL-Combinatorics"
    Polynomial_Factorization
  theories
    Missing_Misc
    Missing_Ring
  theories
    Matrix_Impl
    Matrix_Carrier_Impl
    Strassen_Algorithm_Code
    Matrix_Complexity
    Jordan_Normal_Form_Existence
    Jordan_Normal_Form_Uniqueness
    Spectral_Radius
  theories
    DL_Rank_Submatrix
  document_files
    "root.bib"
    "root.tex"
