[isabelle] AFP 2008
I'm pleased to announce that the Archive of Formal Proofs [http://afp.sf.net]
has now updated its release version to Isabelle2008.
All entries from the front page should now work with Isabelle2008 out of the box.
This archive was generated by a fusion of
Pipermail (Mailman edition) and