Initial version of HOL quotient package.
(* 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