Michael Kohlhase's web site moved

Please update your bookmarks. The new web-site is at:

http://kwarc.eecs.iu-bremen.de/kohlhase
You should have been redirected to the new site. Click here to visit to the new site.