Changes by: Aleksey Nogin (nogin at cs.caltech.edu) Date: 2004-01-17 17:19:52 -0800 (Sat, 17 Jan 2004) Revision: 5258 Log message:
Some progress on itt_nat proofs.