src/Doc/Codegen/Adaptation.thy
changeset 66453 cc19f7ca2ed6
parent 65041 2525e680f94f
child 68028 1f9f973eed2a
     1.1 --- a/src/Doc/Codegen/Adaptation.thy	Fri Aug 18 13:55:05 2017 +0200
     1.2 +++ b/src/Doc/Codegen/Adaptation.thy	Fri Aug 18 20:47:47 2017 +0200
     1.3 @@ -1,5 +1,5 @@
     1.4  theory Adaptation
     1.5 -imports Setup
     1.6 +imports Codegen_Basics.Setup
     1.7  begin
     1.8  
     1.9  setup %invisible \<open>Code_Target.add_derived_target ("\<SML>", [("SML", I)])