src/Pure/ROOT
author wenzelm
Sun Apr 10 21:46:12 2016 +0200 (2016-04-10)
changeset 62944 3ee643c5ed00
parent 62887 6b2c60ebd915
child 64314 93de02f9c2d9
permissions -rw-r--r--
more standard session build process, including browser_info;
clarified final setup of global ML environment;
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@62868
     7
  global_theories
wenzelm@62868
     8
    Pure
wenzelm@62868
     9
  theories
wenzelm@62887
    10
    ML_Bootstrap