/Imakefile/1.1.1.2/Mon Jun  4 09:34:58 2001//
/OCReduce.awk/1.1.1.3/Sat Jan 19 11:06:16 2002//
/OCReduce.sed/1.1.1.3/Sat Jan 19 11:06:16 2002//
/OCTables.awk/1.1.1.3/Sat Jan 19 11:06:16 2002//
/ReqSame.awk/1.1.1.3/Sat Jan 19 11:06:16 2002//
/ReqTab.awk/1.1.1.3/Sat Jan 19 11:06:16 2002//
D
