[isabelle-dev] Isabelle release

Lawrence Paulson lp15 at cam.ac.uk
Fri Jan 7 11:40:09 CET 2011

I'm afraid that English wine production has been increasing year by year. Some of them are even said to be good.



On 7 Jan 2011, at 09:30, Tobias Nipkow wrote:

> I like the wine connection! Not just French wines, but also Australian
> ones, and German Rieslings come to mind. Not sure though how the UK fits
> in, at least not yet, although global warming will fix that in a few
> decades.

More information about the isabelle-dev mailing list