Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2003-08-13 13:36:46 -0700 (Wed, 13 Aug 2003)
Revision: 4838
Log message:
Type inference appears to complete on simple cases.
There is something strange going on with rwc--it sems to
be rewriting the proof, not the goal.