Quelle  ROOT  Sprache: unbekannt

chapter AFP

session "Kolmogorov_Chentsov" = "HOL-Probability" +
  options [timeout = 600]

  theories
    Kolmogorov_Chentsov_Extras
    Dyadic_Interval
    Holder_Continuous
    Measure_Convergence
    Stochastic_Processes
    Kolmogorov_Chentsov

  document_files
    "root.tex"
    "root.bib"