/tribool.hpp/1.3/Wed Jun  1 19:08:00 2005//
/tribool_fwd.hpp/1.3/Sun Jul 25 02:29:28 2004//
/tribool_io.hpp/1.6/Thu Aug 25 16:27:20 2005//
D
