Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-09-17 03:53:44 -0700 (Sat, 17 Sep 2005)
Revision: 7713
Log message:

      Changed the names of some of the "J" modules. This was necessary because OCaml
      was getting confused on OS X (where the file names are not case-sensitive).
      

Changes	Path
+4 -4	metaprl/refiner/reflib/jall.ml
+2 -2	metaprl/refiner/reflib/jordering.ml
+6 -6	metaprl/refiner/reflib/jtunify.ml
+1 -1	metaprl/refiner/reflib/jtypes.ml