chapter Pure session Pure = description " The Pure logical framework. " options [threads = 1, export_theory] theories Pure (global) ML_Bootstrap (global) Sessions