/NOTES/1.2/Mon Aug 25 16:55:34 2003//
/prover.delphin/1.2/Mon Aug 25 16:55:34 2003//
D
