Changes by: Nataly Novak (nnovak at gc.cuny.edu)
Date: 2004-04-24 17:52:13 -0700 (Sat, 24 Apr 2004)
Revision: 5716
Log message:

      cic_ind_type: reversed rewrites and some primitive tactics added
      cic_list: incorrect (unprovable) statements changed to the correct ones
      

Changes	Path
+76 -1	metaprl/theories/cic/cic_ind_type.ml
+18 -0	metaprl/theories/cic/cic_ind_type.mli
+6 -9	metaprl/theories/cic/cic_list.ml