replaced generic 'hide' command by more conventional 'hide_class', 'hide_type', 'hide_const', 'hide_fact' -- frees some popular keywords;
(* 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