rwxrwxr-x 1673/92      0 Oct 23 23:35 1991 convert/
rw-r--r-- 1673/92   2885 Sep  5 18:02 1991 convert/fun.h
rw-r--r-- 1673/92   2054 Sep  8 02:29 1991 convert/main.c
rwxrwxr-x 1673/92      0 Sep 13 01:24 1991 convert/test/
rw-r--r-- 1673/92    423 Sep  5 18:41 1991 convert/test/boys.in
rw-r--r-- 1673/92    323 Sep  5 18:27 1991 convert/test/ec.in
rw-r--r-- 1673/92     77 May 14 02:12 1991 convert/test/test1.in
rw------- 1673/92    527 Aug 28 14:29 1991 convert/test/cook4.in
rw-r--r-- 1673/92   1072 Sep  5 18:25 1991 convert/test/inv2.in
rw-r--r-- 1673/92   1143 Sep  5 18:25 1991 convert/test/lif_bin.in
rw-r--r-- 1673/92    543 Sep  5 18:25 1991 convert/test/lifsch.in
rw-r--r-- 1673/92   1500 Sep  5 18:25 1991 convert/test/salt.in
rw------- 1673/92   1683 Aug 28 14:29 1991 convert/test/steam.in
rw------- 1673/92    874 Aug 28 01:32 1991 convert/test/mv.in
rw-r--r-- 1673/92    645 Sep  5 18:26 1991 convert/test/square.in
rw-r--r-- 1673/92    615 May 12 22:05 1991 convert/test/odd.in
rw-r--r-- 1673/92  11992 Sep  5 18:01 1991 convert/misc.c
rw-r--r-- 1673/92   7280 Sep  5 18:01 1991 convert/share.c
rw-r--r-- 1673/92   2017 Sep  5 18:03 1991 convert/terms.h
rw-r--r-- 1673/92   2159 Sep  5 18:02 1991 convert/cos.h
rw-r--r-- 1673/92  35943 Sep  5 18:00 1991 convert/formula.c
rw-r--r-- 1673/92  15295 Sep  5 18:00 1991 convert/io.c
rw-r--r-- 1673/92   1627 Sep 13 17:49 1991 convert/README
rw-r--r-- 1673/92   8873 Sep  5 17:59 1991 convert/av.c
rw-r--r-- 1673/92  15295 Sep  5 18:00 1991 convert/clause.c
rw-r--r-- 1673/92    498 Sep  5 18:05 1991 convert/makefile
rw-r--r-- 1673/92   2261 Sep  5 18:03 1991 convert/header.h