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