Changes by: Nataly Novak (nnovak at gc.cuny.edu)
Date: 2004-04-04 18:39:50 -0700 (Sun, 04 Apr 2004)
Revision: 5594
Log message:

      1. some display forms are defined
      2. cic_list - first example (not finished yet)
      

Changes	Path
+2 -2	metaprl/theories/cic/OMakefile
+22 -16	metaprl/theories/cic/cic_ind_type.ml
+13 -13	metaprl/theories/cic/cic_ind_type.mli
+75 -14	metaprl/theories/cic/cic_lambda.ml
+18 -13	metaprl/theories/cic/cic_lambda.mli
Added	metaprl/theories/cic/cic_list.ml
Properties	metaprl/theories/cic/cic_list.ml
Added	metaprl/theories/cic/cic_list.mli
Properties	metaprl/theories/cic/cic_list.mli