DEFINITION MODULE KermDel; (************************************************************************) (* Deletes one or more files from disk *) (* written: 11.12.85 Matthias Aebi *) (* last modification: 09.01.86 Matthias Aebi *) (************************************************************************) EXPORT QUALIFIED Delete; PROCEDURE Delete; (* delete one or more files *) END KermDel.