doc-src/System/Thy/document/Misc.tex

--- a/doc-src/System/Thy/document/Misc.tex	Sat Jul 28 13:29:56 2012 +0200
+++ b/doc-src/System/Thy/document/Misc.tex	Sat Jul 28 14:52:56 2012 +0200
@@ -101,7 +101,7 @@
   specified in \hyperlink{setting.ISABELLE-PATH}{\mbox{\isa{\isatt{ISABELLE{\isaliteral{5F}{\isacharunderscore}}PATH}}}}, looking for Isabelle logic
   images. Its usage is:
 \begin{ttbox}
-Usage: findlogics
+Usage: isabelle findlogics
 
   Collect heap file names from ISABELLE_PATH.
 \end{ttbox}