src/Pure/ROOT
author wenzelm
Tue Sep 26 20:54:40 2017 +0200 (22 months ago)
changeset 66695 91500c024c7f
parent 65473 b47373f52451
child 67215 03d0c958d65a
permissions -rw-r--r--
tuned;
     1 chapter Pure
     2 
     3 session Pure =
     4   description {*
     5     The Pure logical framework
     6   *}
     7   options [threads = 1]
     8   theories
     9     Pure (global)
    10     ML_Bootstrap (global)