diff -r 9e036cad8654 -r f329c1f3b365 misc.html --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/misc.html Sat Oct 22 10:43:10 2011 +0100 @@ -0,0 +1,117 @@ + + +
+
+
+Links +Home +Publications +Teaching +Recent Talks +My Research Group + + + +Handy Information +People in Logic +Programming Languages +Miscellaneous + + + + ![]() |
+
+
+
+
+GNU/Linux World+
|
+
+ Airlines and Railways+
|
+
+ +Last modified: Mon Feb 16 23:17:30 GMT 2009 + +[Validate this page.] + +