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.