Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2001-06-17 03:55:32 -0700 (Sun, 17 Jun 2001)
Revision: 3271
Log message:
- A little better code for subgoal matching during proof expansion.
- Better output for some non-Refiner exceptions during proof expansion.
- Some FOL theories had both .prla and .prlb in CVS, fixed.