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

About orphaned-proofs.prf

To: pvs-help@csl.sri.com
Subject: About orphaned-proofs.prf
From: Jei-Wen Teng <r6725004@lucky.im.ntu.edu.tw>
Date: Tue, 27 Apr 1999 15:07:08 +0800 (CST)

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

Prev by Date: No Subject
Next by Date: Correct use of reduce_nat
Prev by thread: Re: Correct use of reduce_nat
Next by thread: About orphaned-proofs.prf
Index(es):
- Date
- Thread