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
Concurrency
Sequential
Export Control
PublicAccess
Preconditions
Postconditions
Semantics
Messages
MoveAway( )