5 The Pure logical framework
6 *}
7 options [threads = 1]
8 theories
9 Pure (global)
10 ML_Bootstrap
10 ML_Bootstrap (global)