src/Pure/ROOT
author wenzelm
Tue Apr 04 21:05:07 2017 +0200 (2017-04-04)
changeset 65374 a5b38d8d3c1e
parent 64314 93de02f9c2d9
child 65473 b47373f52451
permissions -rw-r--r--
tuned syntax;
some official documentation;
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@62887
    10
    ML_Bootstrap