chapter Pure session Pure = description {* The Pure logical framework *} options [threads = 1] global_theories Pure theories ML_Bootstrap