/CosetEnumerator.h/1.6/Fri Mar  3 04:18:34 2000//
/CosetRelations.h/1.4/Tue Nov 25 21:33:43 1997//
/CosetTables.h/1.4/Thu Feb 10 00:12:51 2000//
/EasyList.h/1.3/Tue Nov 23 20:34:09 1999//
/HavasTC.h/1.1/Wed Jan 13 19:39:02 1999//
D
