1(*** Isabelle/Pure bootstrap: initial setup ***) 2 3ML_file "General/exn.ML"; 4ML_file "General/output_primitives.ML"; 5 6ML_file "Concurrent/thread_attributes.ML"; 7ML_file "Concurrent/thread_data.ML"; 8ML_file "Concurrent/thread_position.ML"; 9 10ML_file "ML/ml_recursive.ML"; 11