Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-11-07 03:07:46 -0800 (Fri, 07 Nov 2003)
Revision: 5079
Log message:
- Added ".cmoz: .prla .prlb" dependency (with .prl* being optional) and added
a requirement to build all .cmoz in .DEFAULT. This is necessary to make sure
that .cmoz is properly updated after .prla is changed (by hand or via CVS).
- Use the new reduceT in existing proofs, where appropriate.
- Fixing itt's OMakefile - Alexei accidentally added the new itt_nequal to
the PRINT_THEORIES instead of MPFILES.