/README/1.3/Tue Apr  2 19:53:40 2002//
/WALK/1.2/Thu Apr 25 18:04:43 2002//
/absmachine.fun/1.22/Mon Aug 25 16:55:35 2003//
/absmachine.sig/1.4/Sat Dec 28 05:15:41 2002//
/abstract.fun/1.7/Sun Aug 17 16:37:00 2003//
/abstract.sig/1.5/Sat Dec 28 05:15:41 2002//
/index.fun/1.7/Sat Dec 28 05:15:41 2002//
/index.sig/1.5/Sat Dec 28 05:15:41 2002//
/opsem.sml/1.18/Sat Dec 28 05:15:41 2002//
/ptrecon.fun/1.5/Mon Aug 25 16:55:35 2003//
/ptrecon.sig/1.3/Sat Dec 28 05:15:41 2002//
/sources.cm/1.12/Sat Sep 18 23:42:53 2004//
/swmachine.fun/1.2/Sat Dec 28 05:15:41 2002//
/tabled.fun/1.10/Mon Aug 25 16:55:35 2003//
/tabled.sig/1.4/Sat Dec 28 05:15:41 2002//
/tmachine.fun/1.25/Mon Aug 25 16:55:35 2003//
/trace.fun/1.17/Sat Sep 18 23:42:53 2004//
/trace.sig/1.9/Sat Dec 28 05:15:41 2002//
D
