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