diff --git a/tools/autocorres/README.md b/tools/autocorres/README.md
index 9240587f6..e564e5341 100644
--- a/tools/autocorres/README.md
+++ b/tools/autocorres/README.md
@@ -16,7 +16,7 @@ abstracts the result to produce a result that is (hopefully)
 more pleasant to reason about.
 
   [1]: https://isabelle.in.tum.de
-  [2]: https://trustworthy.systems/software/TS/c-parser/
+  [2]: https://github.com/seL4/l4v/blob/master/tools/c-parser/README.md
 
 
 
diff --git a/tools/autocorres/doc/quickstart/Chapter1_MinMax.thy b/tools/autocorres/doc/quickstart/Chapter1_MinMax.thy
index 99aea61e1..25ad830ce 100644
--- a/tools/autocorres/doc/quickstart/Chapter1_MinMax.thy
+++ b/tools/autocorres/doc/quickstart/Chapter1_MinMax.thy
@@ -69,8 +69,8 @@ text \<open>
 
   As mentioned earlier, AutoCorres does not handle C code directly. The first
   step is to apply the
-  C-Parser\footnote{\url{https://trustworthy.systems/software/TS/c-parser}} to
-  obtain a SIMPL translation. We do this using the \texttt{install-C-file}
+  C-Parser\footnote{\url{https://github.com/seL4/l4v/blob/master/tools/c-parser/README.md}}
+  to obtain a SIMPL translation. We do this using the \texttt{install-C-file}
   command in Isabelle, as shown.
 
 \<close>
diff --git a/tools/autocorres/doc/quickstart/document/root.bib b/tools/autocorres/doc/quickstart/document/root.bib
index a1afca31e..9450bc951 100644
--- a/tools/autocorres/doc/quickstart/document/root.bib
+++ b/tools/autocorres/doc/quickstart/document/root.bib
@@ -25,7 +25,7 @@
   title = {{C-to-Isabelle} Parser, version 1.13.0},
   year = 2013,
   month = may,
-  url = {https://trustworthy.systems/software/TS/c-parser/},
+  url = {https://github.com/seL4/l4v/blob/master/tools/c-parser/README.md},
   note = {Accessed May 2016}
 }
 
diff --git a/tools/autocorres/tools/release_files/README b/tools/autocorres/tools/release_files/README
index f3f2a79b6..45a68444e 100644
--- a/tools/autocorres/tools/release_files/README
+++ b/tools/autocorres/tools/release_files/README
@@ -8,7 +8,7 @@ abstracts the result to produce a result that is (hopefully)
 more pleasant to reason about.
 
   [1]: https://isabelle.in.tum.de/
-  [2]: https://trustworthy.systems/software/TS/c-parser/
+  [2]: https://github.com/seL4/l4v/blob/master/tools/c-parser/README.md
 
 
 
@@ -107,7 +107,7 @@ This package contains:
 
     * Michael Norrish's C parser, used to translate C code into Isabelle:
 
-        https://trustworthy.systems/software/TS/c-parser/
+        https://github.com/seL4/l4v/blob/master/tools/c-parser/README.md
 
     * Norbert Schirmer's Simpl language and associated VCG tool. The
       C parser translates C into Schirmer's Simpl language: