DEFINITION MODULE KermGet; (************************************************************************) (* Get a file from remote server *) (* written: 14.12.85 Matthias Aebi *) (* last modification: 14.12.85 Matthias Aebi *) (************************************************************************) EXPORT QUALIFIED Get; PROCEDURE Get; (* get a file from remote server *) END KermGet.