[isabelle] This is a Theorem (a song)



Dear fellow Isabelle users,

attached is a song about using Isabelle, created for the final evening
of the Marktoberdorf Summer School 2013. I hope you can enjoy it, too.

Greetings,
Joachim

PS: If you want to link to it, you can also find it at
http://www.joachim-breitner.de/content/parodie/This_is_a_Theorem.html

PPS: Someone asked for it to be posted to the MOD facebook group. I’m
not on facebook, but maybe someone can forward it there.

-- 
Dipl.-Math. Dipl.-Inform. Joachim Breitner
Wissenschaftlicher Mitarbeiter
http://pp.ipd.kit.edu/~breitner

Attachment: ThisIsATheorem.pdf
Description: Adobe PDF document

Attachment: signature.asc
Description: This is a digitally signed message part



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