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.