Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2005-07-19 02:40:02 -0700 (Tue, 19 Jul 2005)
Revision: 7641
Log message:

      Use Lm_symbol.new_number for unique indices instead of local counter.
      This is in order to avoid clashes between jprover-vars and original vars in terms.
      

Changes	Path
+84 -101	metaprl/refiner/reflib/jall.ml