/basic.t/1.2/Wed Aug  7 15:26:13 2002//
/defaultobj.t/1.1/Mon Sep  2 10:54:24 2002//
/objective.t/1.2/Mon Sep  2 10:54:24 2002//
/simplestaf.t/1.4/Tue Aug 13 14:16:34 2002//
D
