Changes by: Aleksey Nogin (nogin at metaprl.org)
Date: 2007-04-16 10:01:02 -0700 (Mon, 16 Apr 2007)
Revision: 10434
Log message:

      The CIC theory now compiles and initializes fine, adding it to THEORIES_ALL.

Changes  Path
+1 -1 metaprl/mk/defaults
+6 -6 metaprl/theories/cic/cic_ind_type.ml
+1 -1 metaprl/theories/cic/cic_lambda.ml