chapter AFP
(* Every theory must be included in at least one of the sessions.
*)
(* Session name, add to AFP group, list base session: *)
session Graph_Saturation = "HOL-Library" +
options [timeout = 600]
theories [document = false]
MissingRelation
theories
CombinedCorrectness
(* Dependencies on document source files: *)
document_files
"root.bib"
"root.tex"
¤ Dauer der Verarbeitung: 0.11 Sekunden
(vorverarbeitet am 2026-06-10)
¤
*© Formatika GbR, Deutschland
