Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2005-05-05 21:38:35 -0700 (Thu, 05 May 2005)
Revision: 7252
Log message:

      Some fixes in display forms
      

Changes	Path
+5 -7	metaprl/theories/cic/cic_ind_type.ml
+3 -0	metaprl/theories/cic/cic_lambda.mli