src/Pure/ROOT
author wenzelm
Sat Nov 04 15:24:40 2017 +0100 (19 months ago)
changeset 67003 49850a679c2c
parent 65473 b47373f52451
child 67215 03d0c958d65a
permissions -rw-r--r--
more robust sorted_entries;
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)