/mini-ml.elf/1.1/Wed Sep 12 19:07:43 2001//
/tab-examples.quy/1.2/Wed Apr 17 18:34:33 2002//
/tab.cfg/1.1/Wed Sep 12 19:09:01 2001//
/tp.elf/1.1/Wed Sep 12 19:08:02 2001//
/tpinf.elf/1.2/Fri Mar  8 19:36:27 2002//
D
