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

Re: Another Problem during a proof !

To: pvs-help@csl.sri.com
Subject: Re: Another Problem during a proof !
From: Dave Stringer-Calvert <dave_sc@csl.sri.com>
Date: Wed, 28 Apr 1999 09:51:19 -0700
cc: pvs-help@csl.sri.com
In-reply-to: Your message of "Tue, 27 Apr 1999 21:13:56 +0200." <37260C74.2F3E5979@sbox.tu-graz.ac.at>


Gernot - 

Can you send me the files for this example and I'll try to
provide a solution.

Thanks,
Dave

---
Dr Dave Stringer-Calvert, Software Engineer, Computer Science Laboratory
SRI International, 333 Ravenswood Avenue, Menlo Park, CA 94025-3493, USA
Phone: (650) 859-3291 Fax: (650) 859-2844 David.Stringer-Calvert@sri.com

References:
- Another Problem during a proof !
  - From: Gernot Lepuschitz <gernot@sbox.tu-graz.ac.at>

Prev by Date: Another Problem during a proof !
Next by Date: Help : Mobile Agents
Prev by thread: Another Problem during a proof !
Next by thread: Correct use of reduce_nat
Index(es):
- Date
- Thread