/cdf_extensional.P/1.5/Wed Aug 18 03:10:30 2010//
/cdf_intensional.P/1.2/Wed Aug 18 03:10:30 2010//
/rules.P/1.5/Wed Aug 18 03:10:30 2010//
D
