diff -r 87c1ad539fc9 -r bb24c6179fa6 logic.html --- a/logic.html Thu May 05 10:20:35 2016 +0100 +++ b/logic.html Thu May 05 10:22:52 2016 +0100 @@ -110,7 +110,7 @@
Luke Ong
Mahyar Malekpour
Maribel Fernandez
-
Markus Wenzel
+
Markus Wenzel
Martin Hofmann
Martin Hyland
Matthias Baaz
@@ -161,7 +161,7 @@

- Last modified: Sun Apr 10 20:47:09 BST 2016 + Last modified: Thu May 5 10:22:01 BST 2016 [Validate this page.]