Changes by: Stephan Schmitt (sschmitt at sapient.com) Date: 2000-05-03 08:00:46 -0700 (Wed, 03 May 2000) Revision: 2949 Log message:
Some optimizations for proof reconstruciton