Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2001-07-09 17:11:03 -0700 (Mon, 09 Jul 2001)
Revision: 3325
Log message:
- Rewrote the Itt_esquash theory based on my "better_tt" ideas.
- Now esquash is a primitive operator and not a defined one.
- This change also broke a few FOL and CZF theories that relied
on a bunch of invalid rules that I had to remove from Itt_esquash.