src/Pure/ROOT
author wenzelm
Fri, 18 Oct 2019 22:45:09 +0200
changeset 70905 a6304b4664b6
parent 70606 4f4ede010687
child 70906 b9567a9f44a0
permissions -rw-r--r--
more robust -- avoid interference with Proofterm.proofs := 0 in ML_Bootstrap.thy;

chapter Pure

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