/lam.elf/1.1/Wed Sep 12 19:02:47 2001//
/ord-red.elf/1.2/Fri Mar  8 19:35:59 2002//
/par-red.elf/1.2/Fri Mar  8 19:35:59 2002//
/tab-examples.quy/1.2/Wed Apr 17 18:34:33 2002//
/tab.cfg/1.1/Wed Sep 12 19:04:27 2001//
D
