/NOTES/1.1/Fri Sep  3 18:33:13 1999//
/README/1.25/Wed Apr 28 14:59:15 1999//
/WALK/1.2/Wed Feb 17 16:00:36 1999//
/abstract.fun/1.33/Sun Aug 17 16:37:00 2003//
/abstract.sig/1.14/Sat Dec 28 05:15:41 2002//
/data.fun/1.1/Tue May 11 04:03:18 1999//
/data.sig/1.1/Tue May 11 04:03:18 1999//
/filling.fun/1.17/Sat Dec 28 05:15:41 2002//
/filling.sig/1.5/Sat Dec 28 05:15:41 2002//
/funnames.fun/1.2/Sat Dec 28 05:15:41 2002//
/funnames.sig/1.2/Sat Dec 28 05:15:41 2002//
/funprint.fun/1.9/Sat Dec 28 05:15:41 2002//
/funprint.sig/1.4/Sat Dec 28 05:15:41 2002//
/funsyn.fun/1.8/Sat Dec 28 05:15:41 2002//
/funsyn.sig/1.9/Sat Dec 28 05:15:41 2002//
/funtypecheck.fun/1.13/Sat Dec 28 05:15:41 2002//
/funtypecheck.sig/1.5/Sat Dec 28 05:15:41 2002//
/funweaken.fun/1.2/Sat Dec 28 05:15:41 2002//
/funweaken.sig/1.2/Sat Dec 28 05:15:41 2002//
/global.fun/1.4/Thu Feb 15 04:25:15 2001//
/global.sig/1.2/Wed Feb 17 17:50:14 1999//
/inference.fun/1.6/Sat Dec 28 05:15:41 2002//
/inference.sig/1.2/Sat Dec 28 05:15:41 2002//
/init.fun/1.14/Sat Dec 28 05:15:41 2002//
/init.sig/1.2/Sat Dec 28 05:15:41 2002//
/interpret.sig/1.2/Sat Dec 28 05:15:41 2002//
/meta.sml/1.39/Wed Aug 20 00:29:37 2003//
/mpi.fun/1.14/Sat Dec 28 05:15:41 2002//
/mpi.sig/1.5/Sat Dec 28 05:15:41 2002//
/print.fun/1.16/Sat Dec 28 05:15:41 2002//
/print.sig/1.2/Wed Feb 17 14:27:30 1999//
/prover.fun/1.8/Sat Dec 28 05:15:41 2002//
/prover.sig/1.3/Sat Dec 28 05:15:41 2002//
/recursion.fun/1.42/Sat Dec 28 05:15:41 2002//
/recursion.sig/1.2/Wed Feb 17 16:00:37 1999//
/relfun.fun/1.12/Wed Aug 20 00:29:37 2003//
/relfun.sig/1.2/Sat Dec 28 05:15:41 2002//
/search.fun/1.24/Mon Jun  7 21:04:18 2004//
/search.sig/1.5/Sat Dec 28 05:15:41 2002//
/sources.cm/1.17/Mon Aug 25 16:55:34 2003//
/splitting.fun/1.49/Sun Aug 17 16:37:00 2003//
/splitting.sig/1.5/Thu Apr  8 14:32:37 1999//
/statesyn.fun/1.17/Sat Dec 28 05:15:41 2002//
/statesyn.sig/1.17/Sat Dec 28 05:15:41 2002//
/strategy.fun/1.12/Sat Sep 25 10:39:10 1999//
/strategy.sig/1.1/Wed Feb 17 09:02:52 1999//
/uniquesearch.fun/1.9/Mon Aug 25 16:55:34 2003//
/uniquesearch.sig/1.3/Sat Dec 28 05:15:41 2002//
/weaken.fun/1.3/Sat Dec 28 05:15:41 2002//
/weaken.sig/1.2/Sat Dec 28 05:15:41 2002//
D
