no message

README.thy

@@ -40,7 +40,7 @@ theory README imports Main begin
 
 section \<open>Global Structure of the Isabelle/C Project\<close>
 
-text\<open>The \<open>Isabelle_C\<close>-Home-page with links to paper and tutorials can be found here: 
+text\<open>The \<open>Isabelle_C\<close>-Home-page with links to papers and tutorials can be found here: 
     @{url \<open>https://www.lri.fr/~wolff/projects/Isabelle_C/\<close>}\<close>
 
 text \<open>