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

RE: PVS Specification for binary_tree datatype



Hi,
I am a novice PVS user and I am wondering if someone could provide me the PVS specification for binary_tree datatype, including appropriate constructors, accessors and recognizers. Thanks.
 
Chen


Do you Yahoo!?
Protect your identity with Yahoo! Mail AddressGuard