Changes by: Nataly Novak (nnovak at gc.cuny.edu)
Date: 2004-03-11 20:16:33 -0800 (Thu, 11 Mar 2004)
Revision: 5450
Log message:

      Initial revision
      

Changes	Path
Properties	metaprl/theories/cic
Added	metaprl/theories/cic/rules.ml
Properties	metaprl/theories/cic/rules.ml
Added	metaprl/theories/cic/rules.mli
Properties	metaprl/theories/cic/rules.mli