[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

About orphaned-proofs.prf



Dear pvs users:
  Did anyone know how to install one of the orphaned proofs in the file
"orphaned-proofs.prf"? I do not know how to retrieve back one of the
orphaned proofs in that file. Many thanks.

-- Jei-Wen Teng