Changes by: Aleksey Nogin (nogin at cs.caltech.edu) Date: 2001-07-20 10:01:33 -0700 (Fri, 20 Jul 2001) Revision: 3342 Log message:
- Proved list cons-cons equality elimination. - More itt_fset proofs.