/is_abstract.cc/1.1/Fri Jan 28 13:29:41 2005//
/typedefs.cc/1.1/Fri Jan 28 13:29:41 2005//
D
