[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