Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2003-12-16 20:56:35 -0800 (Tue, 16 Dec 2003)
Revision: 5183
Log message:

      forgot to rename prering_elim to prefield_elim when took template from itt_ring
      

Changes	Path
+14 -9	metaprl/theories/itt/itt_field.ml
+280 -285	metaprl/theories/itt/itt_field.prla