Quelle  ROOT  Sprache: unbekannt

chapter AFP

session Quaternions = "HOL-Analysis" +
  description "Quaternions"
  options [timeout = 300]
  theories
    Quaternions
  document_files
    "root.bib"
    "root.tex"