diff --git a/README.thy b/README.thy index 5984fba6de6b9f57dd85937a2065fab9253fe118..e0af0b3de8afab78714b06043419663110ad56c6 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>