src/Pure/ROOT0.ML
author wenzelm
Wed, 12 Mar 2025 11:39:00 +0100
changeset 82265 4b875a4c83b0
parent 80850 885343964b7f
permissions -rw-r--r--
update for release;

(*** Isabelle/Pure bootstrap: initial setup ***)

ML_file "ML/ml_statistics.ML";

ML_file "PIDE/xml0.ML";

ML_file "General/exn.ML";
ML_file "General/output_primitives.ML";

ML_file "Concurrent/thread_attributes.ML";
ML_file "Concurrent/thread_data.ML";
ML_file "Concurrent/thread_position.ML";

ML_file "ML/ml_recursive.ML";