diff -r 6cc39f136c22 -r 7aff28d7d3e3 teaching.html --- a/teaching.html Mon May 09 11:34:29 2016 +0100 +++ b/teaching.html Mon May 09 11:45:12 2016 +0100 @@ -44,7 +44,7 @@ Publications
Teaching
Recent Talks
-My Research Group +Nominal Isabelle

@@ -472,7 +472,7 @@

- Last modified: Thu May 5 10:22:33 BST 2016 + Last modified: Mon May 9 11:44:04 BST 2016 [Validate this page.]