<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<org.eventb.core.contextFile org.eventb.core.configuration="org.eventb.core.fwd" version="3">
<org.eventb.core.axiom name="internal_element1" org.eventb.core.label="Deposit_CO1.MIN_CASH.type" org.eventb.core.predicate="MIN_CASH ∈ ℕ"/>
<org.eventb.core.axiom name="internal_element2" org.eventb.core.label="Deposit_CO1.MAX_CASH.type" org.eventb.core.predicate="MAX_CASH ∈ ℕ"/>
<org.eventb.core.axiom name="internal_element3" org.eventb.core.label="Deposit_CO1.Axiom1" org.eventb.core.predicate="MAX_CASH &gt; MIN_CASH"/>
<org.eventb.core.constant name="internal_element1" org.eventb.core.identifier="MIN_CASH"/>
<org.eventb.core.constant name="internal_element2" org.eventb.core.identifier="MAX_CASH"/>
</org.eventb.core.contextFile>
