| changeset 69422 | 472af2d7835d |
| parent 68484 | 59793df7f853 |
| child 69505 | cc2d676d5395 |
| 69421:71bf7903e7fe | 69422:472af2d7835d |
|---|---|
1 theory Adaptation |
1 theory Adaptation |
2 imports Codegen_Basics.Setup |
2 imports 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 |