src/Pure/ROOT
author wenzelm
Mon Dec 04 22:54:31 2017 +0100 (20 months ago)
changeset 67131 85d10959c2e4
parent 65473 b47373f52451
child 67215 03d0c958d65a
permissions -rw-r--r--
tuned signature;
wenzelm@51397
     1
chapter Pure
wenzelm@51397
     2
wenzelm@48738
     3
session Pure =
wenzelm@62944
     4
  description {*
wenzelm@62944
     5
    The Pure logical framework
wenzelm@62944
     6
  *}
wenzelm@64314
     7
  options [threads = 1]
wenzelm@62868
     8
  theories
wenzelm@65374
     9
    Pure (global)
wenzelm@65473
    10
    ML_Bootstrap (global)