rwxr-xr-x 4273/0      0 Mar 22 19:12 1994 matchcmp/
rw-r--r-- 4273/0   2698 Jul 23 13:56 1993 matchcmp/matchcomp.doc
rw-r--r-- 4273/0  20030 Jul 23 13:56 1993 matchcmp/matchcomp.scm