src/Pure/ROOT1.ML
author wenzelm
Wed Apr 06 11:57:21 2016 +0200 (2016-04-06)
changeset 62886 72c475e03e22
parent 62883 b04e9fe29223
child 62887 6b2c60ebd915
permissions -rw-r--r--
simplified bootstrap: critical structures remain accessible in ML_Root context;
wenzelm@62883
     1
(*** Isabelle/Pure bootstrap: final setup ***)
wenzelm@62883
     2
wenzelm@62883
     3
use_thy "Pure";
wenzelm@62886
     4
use_thy "ML_Root";
wenzelm@62883
     5
wenzelm@62883
     6
use "ML/ml_pervasive1.ML";