Automated Reasoners - Pictures of some Colleagues

Reinhold Letz			Stephan Schulz
Joachim Draeger			Barbara König

Maintainer: stenzg@informatik.tu-muenchen.de, updated April 13th, 2000