--- a/src/HOL/Nominal/INSTALL	Sat Oct 04 16:19:49 2008 +0200
+++ b/src/HOL/Nominal/INSTALL	Sat Oct 04 17:40:56 2008 +0200
@@ -21,7 +21,7 @@
 
 After the build completes, install the files with the command
 
-   ./bin/isatool install -p /usr/local/bin
+   ./bin/isabelle install -p /usr/local/bin
 
 where /usr/local/bin needs to be replaced by an appropriate
 directory, if you are not root on the system.