[isabelle] Announcement: Brunhilde/Rhein 2015



I never laughed that loud since

 'Groundhog Day',
 https://www.youtube.com/watch?v=wdVKi29QWeU

in 1993!

Thanks,
Jens


This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.