--- a/doc-src/Ref/introduction.tex Fri Jan 27 12:31:18 1995 +0100
+++ b/doc-src/Ref/introduction.tex Fri Jan 27 12:42:03 1995 +0100
@@ -79,6 +79,7 @@
\index{files!reading}
\begin{ttbox}
cd : string -> unit
+pwd : unit -> string
use : string -> unit
time_use : string -> unit
\end{ttbox}
@@ -88,6 +89,8 @@
changes the current directory to {\it dir}. This is the default directory
for reading files and for writing temporary files.
+\item[\ttindexbold{pwd} ();] returns the path of the current directory.
+
\item[\ttindexbold{use} "$file$";]
reads the given {\it file} as input to the \ML{} session. Reading a file
of Isabelle commands is the usual way of replaying a proof.