chapter AFP
  
session Modular_arithmetic_LLL_and_HNF_algorithms = Smith_Normal_Form +
  options [timeout = 7200]
  sessions
    LLL_Basis_Reduction 
    Show
    Jordan_Normal_Form
    Hermite
  theories
    Signed_Modulo
    Storjohann_Mod_Operation
    Storjohann
    Storjohann_Impl
    Uniqueness_Hermite
    Uniqueness_Hermite_JNF
    HNF_Mod_Det_Algorithm
    HNF_Mod_Det_Soundness
    LLL_Certification_via_HNF
  document_files
    "root.tex"
