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.
