bin/isabelle
changeset 4539 4227bd14dbe7
parent 4516 f90b2d459a1b
child 5815 b4d4a97df438
     1.1 --- a/bin/isabelle	Thu Jan 08 18:19:48 1998 +0100
     1.2 +++ b/bin/isabelle	Thu Jan 08 18:24:45 1998 +0100
     1.3 @@ -31,7 +31,7 @@
     1.4    echo
     1.5    echo "  INPUT (default \"$ISABELLE_LOGIC\") and OUTPUT specify in/out heaps."
     1.6    echo "  These are either names to be searched in the Isabelle path, or actual"
     1.7 -  echo "  file names (then containing at least one /)."
     1.8 +  echo "  file names (containing at least one /)."
     1.9    echo "  If INPUT is \"RAW_ML_SYSTEM\", just start the bare bones ML system."
    1.10    echo
    1.11    exit 1