Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-10-15 17:45:47 -0700 (Fri, 15 Oct 2004)
Revision: 6243
Log message:

      Made sure CIC compiles.
      

Changes	Path
+25 -25	metaprl/filter/filter/filter_parse.ml
+1 -0	metaprl/refiner/refsig/term_meta_sig.ml
+5 -5	metaprl/theories/cic/cic_ind_type.ml
+1 -2	metaprl/theories/cic/cic_ind_type.mli
+1 -5	metaprl/theories/cic/cic_lambda.ml
+1 -3	metaprl/theories/cic/cic_lambda.mli