chapter AFP

session Markov_Models = "HOL-Probability" +
  options [timeout = 600]
  sessions
    Coinductive
    "Gauss-Jordan-Elim-Fun"
  directories
    "ex"
  theories
    Markov_Models
    "ex/Example_A"
    "ex/Example_B"
    "ex/PCTL"
    "ex/PGCL"
    "ex/Crowds_Protocol"
    "ex/Zeroconf_Analysis"
    "ex/Gossip_Broadcast"
    "ex/MDP_RP_Certification"
  theories [document = false]
    "ex/MDP_RP"
  document_files
    "root.bib"
    "root.tex"
