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.]