chapter AFP
session NREST = HOL +
options [timeout = 600]
sessions
"HOL-Library"
Automatic_Refinement
Refine_Monadic
Case_Labeling
theories
NREST
RefineMonadicVCG
Refine_Foreach
DataRefinement
SepLogic_Misc
NREST_Auxiliaries
document_files
"root.tex"
"root.bib"
[Dauer der Verarbeitung: 0.12 Sekunden, vorverarbeitet 2026-07-01]
