chapter AFP

session "Martingales" (AFP) = "HOL-Probability" +
  options [timeout = 1200]
  theories
    Measure_Space_Supplement
    Conditional_Expectation_Banach
    Filtered_Measure
    Stochastic_Process
    Martingale
    Example_Coin_Toss
  document_files
    "root.tex"
    "root.bib"
