Changes by: Nataly Novak (nnovak at gc.cuny.edu)
Date: 2004-12-30 12:51:22 -0800 (Thu, 30 Dec 2004)
Revision: 6370
Log message:

      minor bug is fixed
      

Changes  Path
+1 -2 metaprl/theories/cic/cic_ind_type.ml
+1 -2 metaprl/theories/cic/cic_ind_type.mli
+16 -4 metaprl/theories/cic/cic_lambda.ml
+14 -4 metaprl/theories/cic/cic_lambda.mli