Add mixin to base morphism, required by class package; cf ab324ffd6f3d.
(* Author: Florian Haftmann, TU Muenchen *)
header {* Pervasive test of code generator *}
theory Codegenerator_Test
imports Codegenerator_Candidates
begin
export_code * in SML module_name CodegenTest
in OCaml module_name CodegenTest file -
in Haskell file -
in Scala file -
end