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