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