This directory contains a snapshot of the Lem version of the
OCaml_light semantics by Owens, produced by Ott from the Ott
definition of OCaml_light.