chapter AFP

session Robinson_Arithmetic = Syntax_Independent_Logic +
  description \<open>Robinson Arithmetic\<close>
  options [timeout = 600]
  sessions
    Nominal2
  theories
    Instance
  document_files
    "root.tex"