/apply.hpp/1.4/Tue Jul 27 03:43:28 2004//
/empty.hpp/1.2/Mon Sep 13 15:51:08 2004//
/expand.hpp/1.4/Mon Sep 13 15:51:24 2004//
/identity.hpp/1.2/Mon Sep 13 15:51:24 2004//
/intercept.hpp/1.2/Tue Jul 27 03:43:28 2004//
/is_1.hpp/1.2/Tue Jul 27 03:43:28 2004//
/is_empty.hpp/1.2/Tue Jul 27 03:43:28 2004//
/is_empty_or_1.hpp/1.3/Tue Jul 27 03:43:28 2004//
D
