src/Pure/ROOT
author wenzelm
Tue Sep 26 20:54:40 2017 +0200 (21 months ago)
changeset 66695 91500c024c7f
parent 65473 b47373f52451
child 67215 03d0c958d65a
permissions -rw-r--r--
tuned;
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)