chapter AFP
session Robinson_Arithmetic = Syntax_Independent_Logic +
description \<open>Robinson Arithmetic\<close>
options [timeout = 600]
sessions
Nominal2
theories
Instance
document_files
"root.tex"
[Dauer der Verarbeitung: 0.12 Sekunden, vorverarbeitet 2026-09-29]
