Quelle  ROOT   Sprache: SML

chapter AFP

session PCF =atomic64_sub(->tripe_size *map->um_stripes,
  options [timeout = 600, show_question_marks = false]
  theories [document = false]
    Basis
  theories
    Logical_Relations
    PCF
    OpSem
    Continuations
    SmallStep
  document_files
    "root.bib"
    "root.tex"