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

RE: [PVS-Help] finite sets TCC

To: "Kuijpers, T.J.H." <t.j.h.kuijpers@student.tue.nl>
Subject: RE: [PVS-Help] finite sets TCC
From: Hendrik Tews <tews@tcs.inf.tu-dresden.de>
Date: Wed, 29 Jun 2005 11:16:46 +0200
Cc: pvs-help@csl.sri.com
In-reply-to: <46D48C5581610B4A9E00AD8402E041402A8DFE@studentex7.campus.tue.nl>
List-Help: <mailto:pvs-help-request@csl.sri.com?subject=help>
List-Id: PVS-Help <pvs-help.csl.sri.com>
List-Post: <mailto:pvs-help@csl.sri.com>
List-Subscribe: <http://lists.csl.sri.com/mailman/listinfo/pvs-help>,<mailto:pvs-help-request@csl.sri.com?subject=subscribe>
List-Unsubscribe: <http://lists.csl.sri.com/mailman/listinfo/pvs-help>,<mailto:pvs-help-request@csl.sri.com?subject=unsubscribe>
References: <46D48C5581610B4A9E00AD8402E041402A8DF8@studentex7.campus.tue.nl><17082.49152.160416.283001@ithif59.inf.tu-dresden.de><46D48C5581610B4A9E00AD8402E041402A8DF9@studentex7.campus.tue.nl><46D48C5581610B4A9E00AD8402E041402A8DFE@studentex7.campus.tue.nl>
Sender: pvs-help-bounces+archive=csl.sri.com@csl.sri.com


    told you about is one of the TCCs generated by lemma le_setC61. I hope =

I cannot find any string "le_set" in your file.

Please provide source code that is readable. 166 chars per line
produces unreadable line wraps.

Bye,

Hendrik

References:
- [PVS-Help] finite sets TCC
  - From: "Kuijpers, T.J.H." <t.j.h.kuijpers@student.tue.nl>
- Re: [PVS-Help] finite sets TCC
  - From: Hendrik Tews <tews@tcs.inf.tu-dresden.de>
- RE: [PVS-Help] finite sets TCC
  - From: "Kuijpers, T.J.H." <t.j.h.kuijpers@student.tue.nl>

Prev by Date: Re: [PVS-Help] Changing a goal formula
Next by Date: [PVS-Help] regarding bv_unary_minus
Prev by thread: RE: [PVS-Help] finite sets TCC
Next by thread: [PVS-Help] equivalence class number
Index(es):
- Date
- Thread