src/Pure/ROOT
author wenzelm
Wed, 04 Oct 2017 12:00:53 +0200
changeset 66787 64b47495676d
parent 65473 b47373f52451
child 67215 03d0c958d65a
permissions -rw-r--r--
obsolete;

chapter Pure

session Pure =
  description {*
    The Pure logical framework
  *}
  options [threads = 1]
  theories
    Pure (global)
    ML_Bootstrap (global)