Archive of Formal Proofs, Volume 2008

Volume 2008, 2008