/do1.mps/1.4/Sat Nov 13 21:20:23 2004//
/fcns.mps/1.2/Wed Jun  5 16:43:00 2002//
/for1.mps/1.1/Tue Jun  4 15:22:38 2002//
/for2.mps/1.1/Tue Jun  4 15:22:38 2002//
/for3.mps/1.2/Wed Jun  5 16:43:21 2002//
/globals1.mps/1.1/Sat Jun 28 16:32:16 2003//
/go1.mps/1.2/Sat Jun  7 18:30:06 2003//
/interp1.mps/1.1/Fri Jun 20 18:04:33 2003//
/interp2.mps/1.2/Sat Jun 21 18:16:42 2003//
/ops.mps/1.1/Tue Jun  4 18:23:42 2002//
/remote.mps/1.1/Tue Jun  4 17:26:53 2002//
D
