Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] AFP 2008

Email Gateway (Aug 18 2022 at 12:00):

From: Gerwin Klein <gerwin.klein@nicta.com.au>
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

Last updated: May 03 2024 at 04:19 UTC