/eat.hpp/1.1/Tue Jun 25 12:09:38 2002//
/elem.hpp/1.1/Tue Jun 25 12:09:38 2002//
/reverse.hpp/1.1/Tue Jun 25 12:09:38 2002//
/to_list.hpp/1.1/Tue Jun 25 12:09:38 2002//
D
