Message: 1
Date: Mon, 01 Apr 2013 00:03:06 +0200
From: Lars Hupel
Subject: [isabelle] Announcement: Isabelle/HOLF
To: cl-isabelle-us...@lists.cam.ac.uk
Message-ID:
Content-Type: text/plain; charset=ISO-8859-15
Dear list,
in 2011, Amarilli (at the time working at Estatis, Inc.) et al. shook
the
And a nice April 1st for you too :-)
On Apr 1, 2013 10:57 PM, "Valeria de Paiva"
wrote:
> Message: 1
> Date: Mon, 01 Apr 2013 00:03:06 +0200
> From: Lars Hupel
> Subject: [isabelle] Announcement: Isabelle/HOLF
> To: cl-isabelle-us...@lists.cam.ac.uk
> Message-ID:
> Content-Type: text/plain; cha