chapter AFP

session Quantum_Speed_Limits = "HOL-Analysis" +
  options [timeout = 600]
  theories
    Zielinski_Zych
    Relay_Minimal_Time
    Relay_Dephasing
    Relay_Occupation
    Relay_Loss_Floor
    Relay_Endpoints
    Relay_Windows
    Relay_Extensions
    Relay_Ramp_Time
    Relay_Asymptotic
    Relay_Fidelity
    Relay_Coherence
  document_files
    "root.tex"
    "root.bib"
