perm filename PPN.DO[HAK,ROB] blob
sn#448046
filedate 1979-06-05 generic text, type T, neo UTF8
?\\\PRINT."PPN to search:"\INPUT.P DFIND ¬∃∀∀∀\INSERT.P¬∃,¬∃∀∀\INSERT.P¬∃,¬∃∀\INSERT.P¬∃\CR.