home *** CD-ROM | disk | FTP | other *** search
- /* "proof.library"*/
- #pragma libcall ProofBase IsProofA 1e 9802
- #pragma libcall ProofBase IsProofFromLockA 24 9802
- #pragma libcall ProofBase AllocProofA 2a 9802
- #pragma libcall ProofBase FreeProofA 30 9802
- #pragma libcall ProofBase LoadProofA 36 A9803
- #pragma libcall ProofBase LoadProofFromLockA 3c A9803
- #pragma libcall ProofBase SaveProofA 42 9802
- #pragma libcall ProofBase ConvertToProofA 48 9802
- #pragma libcall ProofBase ConvertFromProofA 4e 9802
- #pragma libcall ProofBase GetProofAttrsA 54 9802
- #pragma libcall ProofBase SetProofAttrsA 5a 9802
- #pragma libcall ProofBase ValidProofDesc 60 801
- #pragma libcall ProofBase AllocProofOwnerA 66 9802
- #pragma libcall ProofBase FreeProofOwnerA 6c 9802
- #pragma libcall ProofBase LoadProofOwnerA 72 A9803
- #pragma libcall ProofBase SaveProofOwnerA 78 9802
- #pragma libcall ProofBase SetProofOwnerAttrsA 7e 9802
- #pragma libcall ProofBase GetProofOwnerAttrsA 84 9802
- #pragma libcall ProofBase SetProofOwnerEntry 8a 910804
- #pragma libcall ProofBase GetProofOwnerEntry 90 10803
- #pragma libcall ProofBase AllocProofOwnerEntry 96 A90804
- #pragma libcall ProofBase LoadProofFromBPTRA 9c A9803
-