Changes by: Nataly Novak (nnovak at gc.cuny.edu)
Date: 2004-03-23 18:46:44 -0800 (Tue, 23 Mar 2004)
Revision: 5532
Log message:

      commit of all changes before major update
      

Changes  Path
+121 -84 metaprl/theories/cic/rules.ml