| changeset 66453 | cc19f7ca2ed6 |
| parent 65041 | 2525e680f94f |
| child 68028 | 1f9f973eed2a |
| 66452:450cefec7c11 | 66453:cc19f7ca2ed6 |
|---|---|
1 theory Adaptation |
1 theory Adaptation |
2 imports Setup |
2 imports Codegen_Basics.Setup |
3 begin |
3 begin |
4 |
4 |
5 setup %invisible \<open>Code_Target.add_derived_target ("\<SML>", [("SML", I)]) |
5 setup %invisible \<open>Code_Target.add_derived_target ("\<SML>", [("SML", I)]) |
6 #> Code_Target.add_derived_target ("\<SMLdummy>", [("Haskell", I)])\<close> |
6 #> Code_Target.add_derived_target ("\<SMLdummy>", [("Haskell", I)])\<close> |
7 |
7 |