DEFINITION MODULE KermHelp;
(************************************************************************)
(*  Help shows all possible commands and gives a short explanation      *)
(*  written:            08.10.85     Matthias Aebi                      *)
(*  last modification:  08.10.85     Matthias Aebi                      *)
(************************************************************************)

EXPORT QUALIFIED Help;

PROCEDURE Help;

END KermHelp.

.
