DEFINITION MODULE KermShow;
(************************************************************************)
(*  Show local parameters                                               *)
(*  written:            08.10.85     Matthias Aebi                      *)
(*  last modification:  09.10.85     Matthias Aebi                      *)
(************************************************************************)

EXPORT QUALIFIED Show;

PROCEDURE Show;

END KermShow.

.
