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

RE: PVS Specification for binary_tree datatype

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.

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