[
Date Prev
][
Date Next
][
Thread Prev
][
Thread Next
][
Date Index
][
Thread Index
]
[PVS-HELP] Choose Function
To
: <
pvs-help@xxxxxxxxxxx
>
Subject
: [PVS-HELP] Choose Function
From
: "SongFu" <
fsong@xxxxxxxxxxxxxxx
>
Date
: Mon, 20 Apr 2009 16:07:51 +0800
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
>
Sender
:
pvs-help-bounces+archive=csl.sri.com@xxxxxxxxxxx
Dear everyone:
I want know how to proof the following:
choose({x: nat| x=1}) =1
Thanks
Song
Follow-Ups
:
Re: [PVS-HELP] Choose Function
From:
John Rushby
Re: [PVS-HELP] Choose Function
From:
schoppekloppe
Prev by Date:
Re: [PVS-Help] some problem about PVS
Next by Date:
Re: [PVS-Help] Installation problem: cmulisp-local-source-directorynotset
Prev by thread:
Re: [PVS-HELP] Datatype subtype problem
Next by thread:
Re: [PVS-HELP] Choose Function
Index(es):
Date
Thread