Changes by: Nataly Novak (nnovak at gc.cuny.edu)
Date: 2004-05-09 20:17:58 -0700 (Sun, 09 May 2004)
Revision: 5760
Log message:
1. some fixes in cic_lambda (got rid of WF{context} )
2. completed proofs of listDef_wf, list_wf, nil_wf, cons_wf