[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
Author: Tobias Nipkow and Lawrence Paulson

2008-09-01: Arrow and Gibbard-Satterthwaite
Author: Tobias Nipkow

2008-08-26: Fun With Functions
Author: Tobias Nipkow


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