Changes by: Stephan Schmitt (sschmitt at sapient.com)
Date: 2000-05-01 09:00:19 -0700 (Mon, 01 May 2000)
Revision: 2947
Log message:

      Some improvements for NuPRL interface
      

Changes  Path
+29 -6 metaprl/refiner/reflib/jall.ml