Archive of Formal Proofs, Volume 2005

Volume 2005, 2005