EiffelStore, release 4.5.020, July 1999.

Copyright (c) Interactive Software Engineering Inc., 1998

Use subject to restrictions of customer license.
Duplication prohibited except under terms of customer license.