Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-12-08 03:43:01 -0800 (Mon, 08 Dec 2003)
Revision: 5167
Log message:
- Adding proofs for some of the rules added by Alexei in
http://cvs.cs.cornell.edu:12000/commitlogs/metaprl/2003-11.html#03/11/14.20:24:29
- Fixed a proof that was broken by 2001/07/02 18:34:20 commit.