Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2005-05-05 20:40:11 -0700 (Thu, 05 May 2005)
Revision: 7251
Log message:

      removed "stray" prodH declaration
      

Changes  Path
+0 -1 metaprl/theories/cic/cic_ind_elim.mli