Changes by: Stephan Schmitt (sschmitt at sapient.com)
Date: 2000-05-03 08:00:46 -0700 (Wed, 03 May 2000)
Revision: 2949
Log message:

      Some optimizations for proof reconstruciton
      

Changes  Path
+4 -9 metaprl/refiner/reflib/jall.ml