Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2004-03-26 06:55:56 -0800 (Fri, 26 Mar 2004)
Revision: 5566
Log message:

      Interface of removed rules.ml should also be removed
      

Changes	Path
Deleted	metaprl/theories/cic/rules.mli