File psl-1983/20-kernel/prop.rel from the latest check-in

(file is 11365 bytes of binary data)