Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2006-03-02 17:56:02 -0800 (Thu, 02 Mar 2006)
Revision: 8825
Log message:

      Exclude the obsolete directory from the build.
      
      This directory has a lot of proofs that do not play nicely with the fixed
      refiner and I'd rather just ignore them (at least for now).