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
      

Changes  Path
+42 -0 metaprl/theories/cic/cic_ind_cases.ml
+23 -49 metaprl/theories/cic/cic_lambda.ml
+15 -32 metaprl/theories/cic/cic_lambda.mli
Added metaprl/theories/cic/cic_lambda.prla
Properties metaprl/theories/cic/cic_lambda.prla
+408 -404 metaprl/theories/cic/cic_list.prla