Changes by: Stephan Schmitt (sschmitt at sapient.com)
Date: 2000-04-27 08:50:52 -0700 (Thu, 27 Apr 2000)
Revision: 2946
Log message:

      minor modifications
      

Changes  Path
+2 -0 metaprl/refiner/reflib/jall.ml