/mini-ml.elf/1.1/Wed Sep 12 19:10:11 2001//
/subtype.elf/1.2/Fri Mar  8 19:35:48 2002//
/tab-examples.quy/1.2/Wed Apr 17 18:34:33 2002//
/tab.cfg/1.1/Wed Sep 12 19:11:00 2001//
D
