/Imakefile/1.1.1.1/Sun Jan 18 15:13:54 2004//
/OCReduce.awk/1.1.1.1/Sun Jan 18 15:13:55 2004//
/OCReduce.sed/1.1.1.1/Sun Jan 18 15:13:55 2004//
/OCTables.awk/1.1.1.1/Sun Jan 18 15:13:55 2004//
/ReqSame.awk/1.1.1.1/Sun Jan 18 15:13:55 2004//
/ReqTab.awk/1.1.1.1/Sun Jan 18 15:13:55 2004//
D
