1 header {* test isac bootstrap *}
2 theory boot imports Complex_Main
3 begin
4 use "c_code.sml"
5 use_thy "Theory"
6 use "Theory.ML"
7 use "z_code.sml"
8 end