/nd.elf/1.2/Mon Aug 25 16:55:34 2003//
/prop-calc.elf/1.2/Mon Aug 25 16:55:34 2003//
/prover.delphin/1.2/Mon Aug 25 16:55:34 2003//
/prover.elf/1.2/Mon Aug 25 16:55:34 2003//
/run.sml/1.2/Mon Aug 25 16:55:34 2003//
/search.delphin/1.2/Mon Aug 25 16:55:34 2003//
D
