Isabelle class, April 25th 2007

email Lars