diff -r 3f53f2c876f4 -r f8bf5e5c1641 bin/isatool
--- a/bin/isatool	Wed May 21 15:08:52 1997 +0200
+++ b/bin/isatool	Wed May 21 17:05:42 1997 +0200
@@ -27,7 +27,7 @@
   echo "  Start Isabelle utility program TOOL with ARGS. Pass \"-?\" to TOOL"
   echo "  for more specific help."
   echo
-  echo "  Availabe tools are:"
+  echo "  Available tools are:"
   (
     for DIR in $TOOLDIRS
     do