This directory contains some camlp5 source files required to extend 
or modify OCaml syntax, e.g. like the pa_j_*.ml files of HOL Light.