student	advisor	tasks
Kristina	till, florian	Twelf
stassiy	maeder, till	Structured theorem prover interface
mkhl	till, mcodescu	Maude
raider	maeder	development graph GUI
rpascanu	till, cxl	proof scripts, PGIP
csliam	roba	CspCASL proof support
mgross	till	conservativity checker CASL/CCC
N.N.	ewaryst	OMDoc, connection to OMBase
N.N.	luecke	packaging, emacs
N.N.	luecke	DL reasoner, interface for model finders, consistency checks
N.N.	maeder	development graph
N.N.	lschrode	proofs in interval arithmetic
N.N.	maeder	ghc, packaging, releases
N.N.	?	change management
N.N.	?	web interface
N.N.	sergey	Isabelle theories for monadic dynamic logic