(* License: LGPL *)
chapter AFP
session Weak_Spectroscopy = "HOL-Library" +
(* Timeout (in sec) in case of non-termination problems *)
options [timeout = 900]
(* The top-level theories of the submission: *)
theories
HML_SRBB
Silent_Step_Spectroscopy
Weak_Traces
Branching_Bisimilarity
(* Dependencies on document source files: *)
document_files
"root.bib"
"root.tex"
[Dauer der Verarbeitung: 0.2 Sekunden, vorverarbeitet 2026-09-29]
