Changes by: Aleksey Nogin (nogin at cs.caltech.edu) Date: 2004-01-26 15:12:39 -0800 (Mon, 26 Jan 2004) Revision: 5283 Log message:
- Added a genT tactic for generalizing the conclusion. - Simplified some of the proofs in itt_fset.