Changes by: Nataly Novak (nnovak at gc.cuny.edu)
Date: 2004-04-11 20:37:01 -0700 (Sun, 11 Apr 2004)
Revision: 5641
Log message:

      first proof (in parameterized list example)
      

Changes	Path
+6 -1	metaprl/theories/cic/cic_ind_type.ml
+5 -1	metaprl/theories/cic/cic_ind_type.mli
+1 -0	metaprl/theories/cic/cic_lambda.ml
+2 -0	metaprl/theories/cic/cic_lambda.mli
+19 -10	metaprl/theories/cic/cic_list.ml
Added	metaprl/theories/cic/cic_list.prla
Properties	metaprl/theories/cic/cic_list.prla