Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2006-02-15 12:48:45 -0800 (Wed, 15 Feb 2006)
Revision: 8712
Log message:

      We do not need this OMakefile (it duplicates a part of the code that I've
      added to the root OMakefile_theories).