chapter AFP
session "MDP-Algorithms" = "MDP-Rewards" +
  options [timeout = 2400]
  sessions
    Gauss_Jordan Jordan_Normal_Form Perron_Frobenius "HOL-Data_Structures"
  directories
    code
    "code/lib"
  theories
    VI_Code_Export_Float
    VI_Code_Export_Rat
    GS_Code_Export_Float
    GS_Code_Export_Rat
    MPI_Code_Export_Float
    MPI_Code_Export_Rat
    PI_Code_Export_Float
    PI_Code_Export_Rat
    Fin_Code_Export_Float
    Fin_Code_Export_Rat
  document_files
    "root.bib"
    "root.tex"
