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.