diff -r ae516c20c5f1 -r 4dac76eb27d9 logic.html --- a/logic.html Sat Jan 28 06:40:19 2017 +0000 +++ b/logic.html Sat Jan 28 07:17:00 2017 +0000 @@ -2,7 +2,7 @@ Homepage of Christian Urban - + Links
-Home
-Publications
-Teaching
-Recent Talks
-Nominal Isabelle +Home
+Publications
+Teaching
+Recent Talks
+Nominal Isabelle

Handy Information
-People in Logic
-Programming Languages
-Miscellaneous +People in Logic
+Programming Languages
+Miscellaneous

- +
- +