More about Isabelle
is available on our main sites:
at
Cambridge (UK)
at
Munich (Germany)