chapter AFP

session "HOL-Multivariate_Analysis-Collections" (AFP) = "HOL-Multivariate_Analysis" +
  options [timeout = 2400]
  theories [document = false]
    "../Collections/ICF/Collections"

session Ordinary_Differential_Equations (AFP) = "HOL-Multivariate_Analysis-Collections" +
  options [timeout = 2400]
  theories [document = false]
    "~~/src/HOL/Library/Lattice_Algebras"
    "~~/src/HOL/Library/Monad_Syntax"
    "~~/src/HOL/Library/Quotient_Set"
    "~~/src/HOL/Library/While_Combinator"
    "../Affine_Arithmetic/Affine_Arithmetic"
  theories
    "~~/src/HOL/Library/Float"
  theories [document = false]
    "~~/src/HOL/Decision_Procs/Approximation"
  theories
    "ODE_Auxiliarities"
    "Numerics/Print"
    "IVP/Bounded_Continuous_Function"
    "IVP/Initial_Value_Problem"
    "IVP/Picard_Lindeloef_Qualitative"
    "Numerics/One_Step_Method"
    "Numerics/Runge_Kutta"
    "Numerics/Euler_Affine"
    "Ex/Examples"
    "Library/MVT_Ex"
  theories [document = false]
    "Library/Higher_Derivative"
    "Library/Multivariate_Taylor"
  document_files
    "root.bib"
    "root.tex"
