File.pwd, File.cd;

--- a/src/Pure/Isar/isar_cmd.ML	Thu Feb 04 18:15:20 1999 +0100
+++ b/src/Pure/Isar/isar_cmd.ML	Thu Feb 04 18:15:53 1999 +0100
@@ -66,9 +66,9 @@
 
 (* current working directory *)
 
-fun print_cd _ = writeln (Library.pwd ());
+fun print_cd _ = writeln (Path.pack (File.pwd ()));
 
-fun cd dir = Toplevel.imperative (fn () => (Use.cd dir; print_cd ()));
+fun cd dir = Toplevel.imperative (fn () => (File.cd (Path.unpack dir); print_cd ()));
 val pwd = Toplevel.imperative print_cd;