rwxr-xr-x 4273/0      0 Mar  9 22:30 1994 ps/
rw-r--r-- 1918/0 1055784 Mar  9 22:18 1994 ps/CLIPS_RefII.ps
rw-r--r-- 1918/0 591360 Mar  9 22:19 1994 ps/CLIPS_RefIII.ps
rw-r--r-- 1918/0 1227669 Mar  9 22:21 1994 ps/UserguideI.ps
rw-r--r-- 1918/0 1224137 Mar  9 22:23 1994 ps/UserguideII.ps
rw-r--r-- 1918/0   1113 Mar  9 22:19 1994 ps/README
rw-r--r-- 1918/0 1288083 Mar  9 22:17 1994 ps/CLIPS_RefI.ps