[isabelle-dev] PLMMS at CICM, July 2013, Bath, UK

[Makarius]

N¬™ë,j¢²)Ì Á¢¹šµ8^~*춖«¶ÈhºW[z·šu¦åz×±·b•ëaz·¦j)âž
Z®Û­éb‘érºzÞi֛•ì"¶.´Â¬­ëh¢[