/CosetEnumerator.C/1.3/Thu Nov 13 22:07:37 1997//
/CosetRelations.C/1.2/Tue Jun 10 20:37:39 1997//
/CosetTables.C/1.2/Tue Jun 10 20:37:40 1997//
/EasyList.C/1.2/Tue Jun 10 20:37:40 1997//
/HavasTC.C/1.2/Wed Mar 14 21:13:22 2001//
D/obj////
