Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] AFP 2009

view this post on Zulip Email Gateway (Aug 18 2022 at 13:17):

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

Last updated: Jan 04 2025 at 20:18 UTC