chapter AFP
session UpDown_Scheme = "HOL-Analysis" +
options [timeout = 600]
sessions
"HOL-Imperative_HOL"
Automatic_Refinement
Separation_Logic_Imperative_HOL
theories
Grid_Point
Grid
Triangular_Function
UpDown_Scheme
Up
Down
Up_Down
Imperative
document_files
"root.tex"
"root.bib"
¤ Dauer der Verarbeitung: 0.8 Sekunden
(vorverarbeitet am 2026-07-02)
¤
*© Formatika GbR, Deutschland
