src/Pure/ROOT
author wenzelm
Sat Dec 16 16:46:01 2017 +0100 (21 months ago)
changeset 67215 03d0c958d65a
parent 65473 b47373f52451
child 68710 3db37e950118
permissions -rw-r--r--
PIDE markup for session ROOT files;
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)
wenzelm@67215
    11
    Sessions