Changes by: Stephan Schmitt (sschmitt at sapient.com)
Date: 2000-04-13 16:24:44 -0700 (Thu, 13 Apr 2000)
Revision: 2933
Log message:

      
      First-order jprover with sequents unique name generation
      

Changes	Path
+292 -103	metaprl/refiner/reflib/jall.ml