src/Pure/ROOT

Backed out changeset 1bc422c08209 -- obsolete in AFP/5d11846ac6ab;

chapter Pure

session Pure =
  description "
    The Pure logical framework.
  "
  options [threads = 1, export_theory]
  theories
    Pure (global)
    ML_Bootstrap (global)
    Sessions