src/Pure/ROOT
author wenzelm
Sat, 19 Oct 2019 11:29:39 +0200
changeset 70906 b9567a9f44a0
parent 70905 a6304b4664b6
child 70914 05c4c6a99b3f
permissions -rw-r--r--
proper export of bootstrap proofs (amending a6304b4664b6);

chapter Pure

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