[isabelle] AFP 2009



We're pleased to announce that the AFP has now switched its release version to Isabelle2009.

This means, the following entries that previously worked only with the development version now become available from the front page:


2008-11-07: Fun With Tilings
<http://afp.sourceforge.net/entries/FunWithTilings.shtml>
Author: Tobias Nipkow and Lawrence Paulson

2008-09-01: Arrow and Gibbard-Satterthwaite
<http://afp.sourceforge.net/entries/ArrowImpossibilityGS.shtml>
Author: Tobias Nipkow

2008-08-26: Fun With Functions
<http://afp.sourceforge.net/entries/FunWithFunctions.shtml>
Author: Tobias Nipkow


Cheers,
Gerwin	





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