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.