<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<org.eventb.core.prFile version="1">
<org.eventb.core.prProof name="INITIALISATION/Deposit_4_inv4/INV"/>
<org.eventb.core.prProof name="INITIALISATION/Deposit_4_inv6/INV"/>
<org.eventb.core.prProof name="sendReqDeposit/Deposit_4_inv4/INV"/>
<org.eventb.core.prProof name="sendReqDeposit/Deposit_4_inv6/INV"/>
<org.eventb.core.prProof name="recvReqDeposit/grd5/WD"/>
<org.eventb.core.prProof name="recvRespDeposit/Deposit_4_inv4/INV"/>
<org.eventb.core.prProof name="recvRespDeposit/Deposit_4_inv6/INV"/>
</org.eventb.core.prFile>
