[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.

Cheers,
Gerwin





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