[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.
http://www.english-wine.com/vineyards.html
Larry
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