Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2005-07-16 19:37:10 -0700 (Sat, 16 Jul 2005)
Revision: 7627
Log message:

      several renamings and one custom functions replaced with List.fold_left
      

Changes	Path
+11 -8	metaprl/refiner/reflib/jall.ml