From c12ee730fb7679de19c72e5b98e7b4dcb9a33659 Mon Sep 17 00:00:00 2001
From: bu <wolff@lri.fr>
Date: Sat, 4 Jul 2020 09:02:28 +0200
Subject: [PATCH] no message

---
 README.thy | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/README.thy b/README.thy
index 5984fba6d..e0af0b3de 100644
--- a/README.thy
+++ b/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>
-- 
GitLab