diff -r e10eb390c103 -r 0999989d75f8 index.html
--- a/index.html Thu Mar 15 15:50:18 2012 +0000
+++ b/index.html Thu Mar 15 15:55:30 2012 +0000
@@ -193,7 +193,7 @@
fib and even/odd, we implemented a large part of regular language theory in Isabelle/HOL.
This implementation
gives rise to much more interesting examples, as shown
-here and
+here and
here. It turns out that
formalisations of automata theory are a huge
pain