chapter AFP
session PCF = "HOLCF-Library" +
options [timeout = 600, show_question_marks = false]
theories [document = false]
Basis
theories
Logical_Relations
PCF
OpSem
Continuations
SmallStep
document_files
"root.bib"
"root.tex"
[Dauer der Verarbeitung: 0.10 Sekunden, vorverarbeitet 2026-07-01]
