src/Pure/ROOT
author wenzelm
Wed, 31 Jul 2019 19:50:38 +0200
changeset 70451 550a5a822edb
parent 69319 baccaf89ca0d
child 70606 4f4ede010687
permissions -rw-r--r--
clarified export: retain proof boxes as local definitions -- more scalable;

chapter Pure

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