Added unification case study (using new function package)
(* ID: $Id$ Author: Florian Haftmann, TU Muenchen*)header {* Tests and examples for code generator *}theory Codegeneratorimports ExecutableContentbegincode_gen "*" in SML in OCaml file - in OCaml file -code_gen in SML in OCaml file - in OCaml file -end