Changes by: Stephan Schmitt (sschmitt at sapient.com)
Date: 2000-05-10 08:12:11 -0700 (Wed, 10 May 2000)
Revision: 2961
Log message:

      Optimized beta-proof computation for proof reconstruction
      

Changes	Path
+233 -17	metaprl/refiner/reflib/jall.ml