DEFINITION MODULE KermDir;
(************************************************************************)
(* Display directory information                                        *)
(* written:            11.12.85     Matthias Aebi                       *)
(* last modification:  11.12.85     Matthias Aebi                       *)
(************************************************************************)

EXPORT QUALIFIED Dir;

PROCEDURE Dir;
(* Display directory information *)

END KermDir.

.
