src/Pure/Thy/browser_info.ML

             hd (tl (rev (BAD_space_explode "/" (!index_path))))
           else if level = 0 then "Isabelle logics"
           else space_implode "/" (take (level, subdirs))))) ^
        "\n" ^
        (if file_exists (tack_on (!index_path) "README.html") then
-          "<BR>View the <A HREF = \"README.html\">ReadMe</A> file.\n"
+          "<BR>View the <A HREF = \"README.html\">README</A> file.\n"
         else if file_exists (tack_on (!index_path) "README") then
-          "<BR>View the <A HREF = \"README\">ReadMe</A> file.\n"
+          "<BR>View the <A HREF = \"README\">README</A> file.\n"
         else "") ^
        "<HR>" ^ implode (map main_entry theories) ^ "<!-->");
      TextIO.closeOut out;
      if super_index = "" orelse (inside_isabelle andalso level = 0) then ()
         else link_directory ()