src/Pure/ROOT

more general workaround for failed sessions (again, see also 2edb89630a80, ed7b5cd3a7f2);

chapter Pure

session Pure =
  description {*
    The Pure logical framework
  *}
  options [threads = 1]
  theories
    Pure (global)
    ML_Bootstrap (global)