[nogin] OCaml 3.09 and THEORY_DEPS compatibility._ Tue Nov 8 15:25:00 PST 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2005-11/2005-11-08-15-25-00-623633000-PST.html http://svn.metaprl.org/commitlogs/mpcompiler/2005-11/2005-11-08-15-25-00-623633000-PST.html