chapter AFP
session "MiniSail" = "HOL-Library" +
description \<open>Formalisation of MiniSail\<close>
options [timeout = 4800]
sessions
"Nominal2"
"HOL-Eisbach"
"Native_Word"
"Show"
theories
"MiniSail"
document_files
"root.tex"
"root.bib"
[Dauer der Verarbeitung: 0.14 Sekunden, vorverarbeitet 2026-09-28]
