Isabelle around the world

Isabelle World Map

There is also a larger version of this map. Contact webertj@in.tum.de if you want to be added to the map.