proper context for Display.pretty_thm etc. or old-style versions Display.pretty_thm_global, Display.pretty_thm_without_context etc.;
(* 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 -
end