src/Pure/ROOT

isabelle update_cartouches -t;

chapter Pure

session Pure =
  description \<open>
    The Pure logical framework
\<close>
  options [threads = 1, export_theory]
  theories
    Pure (global)
    ML_Bootstrap (global)
    Sessions