/argmax.h/1.7/Sun Nov  9 10:04:55 2008//
/bitset.h/1.2/Tue Oct 28 17:56:58 2008//
/conf_comp.h/1.7/Sat Jun 27 20:59:19 2009//
/localcond.h/1.7/Sat Jun 27 20:59:19 2009//
/rewrite.h/1.16/Sun Nov 16 21:07:14 2008//
/rewrite_updates.h/1.3/Fri Nov  7 21:24:38 2008//
/signature.h/1.8/Tue Oct 28 21:25:54 2008//
/supported.h/1.6/Fri Nov  7 21:24:38 2008//
/utils.h/1.8/Fri Jan 23 00:43:56 2009//
D
