Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-04-07 00:45:04 -0700 (Mon, 07 Apr 2003)
Revision: 4392
Log message:
- Using the new syntax, got rid of some unused binding vars
- The rule itt_rfun.well_founded_assum_elim had a wrong "squash" marker.