Operation void MoveAway (), in Class RACE_Depository

Documentation
Saves the Depository.dp in Depository.old.dp and the over files
in the same way


Protocol Qualification 
Exceptions Size 
Time ConcurrencySequential
Export ControlPublicAccess  


Preconditions


Postconditions


Semantics


MessagesMoveAway( )