Eiffel libraries or tools may be provided with a set of examples. These examples should be put in $GOBO/example/[library-or-tool-name>].
