rwxr-xr-x 4273/0 0 Aug 4 18:49 1993 pnla/ rw-r--r-- 4273/0 1430 Aug 4 18:48 1993 pnla/README rw-r--r-- 4273/0 122 Aug 4 18:48 1993 pnla/ancestor.pl rw-r--r-- 4273/0 104 Aug 4 18:48 1993 pnla/append.pl rw-r--r-- 4273/0 165 Aug 4 18:48 1993 pnla/assert-eg.pl rw-r--r-- 4273/0 59 Aug 4 18:48 1993 pnla/author.pl rw-r--r-- 4273/0 68 Aug 4 18:48 1993 pnla/authorof.pl rw-r--r-- 4273/0 68 Aug 4 18:48 1993 pnla/authorofalt.pl rw-r--r-- 4273/0 122 Aug 4 18:48 1993 pnla/dangerous.pl rw-r--r-- 4273/0 238 Aug 4 18:48 1993 pnla/database.pl rw-r--r-- 4273/0 249 Aug 4 18:48 1993 pnla/database2.pl rw-r--r-- 4273/0 565 Aug 4 18:49 1993 pnla/englishgram.dcg rw-r--r-- 4273/0 1056 Aug 4 18:49 1993 pnla/gapsem.dcg rw-r--r-- 4273/0 44 Aug 4 18:49 1993 pnla/list.pl rw-r--r-- 4273/0 424 Aug 4 18:49 1993 pnla/makeground.pl rw-r--r-- 4273/0 306 Aug 4 18:49 1993 pnla/max-cuts.pl rw-r--r-- 4273/0 214 Aug 4 18:49 1993 pnla/merge-conditional.pl rw-r--r-- 4273/0 217 Aug 4 18:49 1993 pnla/merge-red.pl rw-r--r-- 4273/0 225 Aug 4 18:49 1993 pnla/merge.pl rw-r--r-- 4273/0 201 Aug 4 18:49 1993 pnla/mergesort.pl rw-r--r-- 4273/0 58 Aug 4 18:49 1993 pnla/newlist.pl rw-r--r-- 4273/0 396 Aug 4 18:49 1993 pnla/parsetree.dcg rw-r--r-- 4273/0 7716 Aug 4 18:49 1993 pnla/partial-exec.pl rw-r--r-- 4273/0 223 Aug 4 18:49 1993 pnla/pl-with-proof.pl rw-r--r-- 4273/0 135 Aug 4 18:49 1993 pnla/pl.pl rw-r--r-- 4273/0 126 Aug 4 18:49 1993 pnla/possdata.pl rw-r--r-- 4273/0 805 Aug 4 18:49 1993 pnla/possessive.pl rw-r--r-- 4273/0 515 Aug 4 18:49 1993 pnla/russell.pl rw-r--r-- 4273/0 165 Aug 4 18:49 1993 pnla/shuffle-alt.pl rw-r--r-- 4273/0 192 Aug 4 18:49 1993 pnla/shuffle-dumb-fixed.pl rw-r--r-- 4273/0 182 Aug 4 18:49 1993 pnla/shuffle-dumb.pl rw-r--r-- 4273/0 927 Aug 4 18:49 1993 pnla/shuffle-proof.pl rw-r--r-- 4273/0 133 Aug 4 18:49 1993 pnla/shuffle.pl rw-r--r-- 4273/0 460 Aug 4 18:49 1993 pnla/simplegram.pl rw-r--r-- 4273/0 114 Aug 4 18:49 1993 pnla/split.pl rw-r--r-- 4273/0 13984 Aug 4 18:49 1993 pnla/talk.pl