Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2002-08-17 20:02:09 -0700 (Sat, 17 Aug 2002)
Revision: 3808
Log message:
Just wanted to flush some work out before TPHOLs.
This commits (one version) of the tyProject rule.