Changes by: Stephan Schmitt (sschmitt at sapient.com)
Date: 2000-04-26 08:40:47 -0700 (Wed, 26 Apr 2000)
Revision: 2942
Log message:

      JProver with complete proof reconstruction -- Beta proofs and Proof
      permutations
      

Changes	Path
+1201 -78	metaprl/refiner/reflib/jall.ml