Changes by: Stephan Schmitt (sschmitt at sapient.com)
Date: 2000-04-26 14:11:31 -0700 (Wed, 26 Apr 2000)
Revision: 2943
Log message:

      JProver with unique name v0_jprover for undeclared parameters
      

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