Am Freitag, den 12.10. von 12-12:30 im Turing (00.09.055). Stephan Hohe praesentiert seine Diplomarbeit. Thema: Faktorielle Ringe in Isabelle/HOL Viele Gruesse, Clemens