Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2001-05-23 08:42:53 -0700 (Wed, 23 May 2001)
Revision: 3236
Log message:
- Proved all the theorems in itt_squash.
- Still need to figure out the right way to do squash_resource and
the relevant tactics.