DEFINITION MODULE KermSet;
(************************************************************************)
(*  Set changes the value of any local parameter                        *)
(*  written:            09.10.85     Matthias Aebi                      *)
(*  last modification:  22.10.85     Matthias Aebi                      *)
(************************************************************************)

EXPORT QUALIFIED Set;

PROCEDURE Set;

END KermSet.
