/Simulator/1.1.1.1/Sun Sep  1 15:30:13 2002//
/icfp.c/1.1.1.1/Sun Sep  1 15:30:13 2002//
/theokill/1.1.1.1/Sun Sep  1 15:30:21 2002//
D/src////
/INSTALLATION/1.2/Mon Sep  2 02:23:14 2002//
/README/1.2/Mon Sep  2 02:19:30 2002//
