../ Makefile 31-Dec-2002 12:58 95 README 31-Dec-2002 12:58 41 runtest.ref 31-Dec-2002 12:58 43 runtest.sh 31-Dec-2002 12:58 636 test.clp 31-Dec-2002 12:58 127 test.ref 31-Dec-2002 12:58 25