gds 24.04.2012 18:31 umodniAC41C113

#coq:
(2012-04-24 20:40:40) apfelmus вышел из комнаты (quit: Quit: (λx.xx)(λx.xx)).

cs
Do you really want to delete ?