equal
deleted
inserted
replaced
33 subsection \<open>Example application\<close> |
33 subsection \<open>Example application\<close> |
34 |
34 |
35 setup \<open> |
35 setup \<open> |
36 fn thy => |
36 fn thy => |
37 let val forked_thys = Par_List.map (fn i => Named_Target.theory_map (spec i) thy) (1 upto 10) |
37 let val forked_thys = Par_List.map (fn i => Named_Target.theory_map (spec i) thy) (1 upto 10) |
38 in Theory.join_theory forked_thys end |
38 in Context.join_thys forked_thys end |
39 \<close> |
39 \<close> |
40 |
40 |
41 term test1 |
41 term test1 |
42 thm test1 |
42 thm test1 |
43 |
43 |