Quelle  ROOT   Sprache: unbekannt

chapter AFP

session "Minsky_Machines" = "Abstract-Rewriting" +
  options [timeout = 600]
  sessions
    "Pure-ex"
    "Recursion-Theory-I"
  theories
    Recursive_Inseparability
    Minsky
  document_files
    "root.tex"
    "root.bib"