/DiffHistory.h/1.1/Thu Aug 15 18:55:35 1996//
/DiffHistoryRep.h/1.1/Thu Aug 15 18:55:37 1996//
/DiffMachine.h/1.2/Thu Aug 15 18:55:38 1996//
/DiffMachineRep.h/1.4/Tue Nov 23 20:28:52 1999//
/GenMult.h/1.2/Thu Aug 15 18:55:42 1996//
/GenMultRep.h/1.3/Thu Nov 20 02:53:49 1997//
/KBMachine.h/1.2/Thu Aug 15 18:55:46 1996//
/KBMachineRep.h/1.4/Tue Nov 23 20:28:53 1999//
/KBmagPackage.h/1.3/Thu Aug 15 18:55:48 1996//
/RKBPackage.h/1.5/Wed Dec 12 21:11:45 2001//
/WordOrder.h/1.2/Tue Nov 23 20:28:54 1999//
/WordOrderRep.h/1.2/Wed Feb  9 23:59:20 2000//
D
