author | wenzelm |
Sat, 09 Apr 2016 14:52:10 +0200 | |
changeset 62929 | b92565f98206 |
parent 62923 | 3a122e1e352a |
child 62930 | 51ac6bc389e8 |
permissions | -rw-r--r-- |
62883 | 1 |
(*** Isabelle/Pure bootstrap: initial setup ***) |
2 |
||
62923 | 3 |
ML_file "General/exn.ML"; |
4 |
||
5 |
ML_file "Concurrent/thread_attributes.ML"; |
|
62902
3c0f53eae166
more conventional theory syntax for ML bootstrap, with 'ML_file' instead of 'use';
wenzelm
parents:
62890
diff
changeset
|
6 |
ML_file "Concurrent/thread_data.ML"; |
62929
b92565f98206
shared thread position for physical/virtual Pure;
wenzelm
parents:
62923
diff
changeset
|
7 |
ML_file "Concurrent/thread_position.ML"; |
62923 | 8 |
|
9 |
ML_file "ML/ml_recursive.ML"; |