chapter AFP

session "Echelon_Form" = Gauss_Jordan +
  options [timeout = 2400]
  sessions
    Cayley_Hamilton
  theories
    Examples_Echelon_Form_Abstract
    Examples_Echelon_Form_IArrays
  document_files
    "root.tex"
