| changeset 62893 | fca40adc6342 |
| parent 62887 | 6b2c60ebd915 |
| child 62902 | 3c0f53eae166 |
| 62892:7485507620b6 | 62893:fca40adc6342 |
|---|---|
8 imports Pure |
8 imports Pure |
9 keywords "use" "use_debug" "use_no_debug" :: thy_load |
9 keywords "use" "use_debug" "use_no_debug" :: thy_load |
10 begin |
10 begin |
11 |
11 |
12 setup \<open>Context.theory_map ML_Env.init_bootstrap\<close> |
12 setup \<open>Context.theory_map ML_Env.init_bootstrap\<close> |
13 SML_import \<open>structure Thread_Data = Thread_Data_Virtual\<close> |
|
13 |
14 |
14 ML \<open> |
15 ML \<open> |
15 local |
16 local |
16 |
17 |
17 val _ = |
18 val _ = |