Archive of Formal Proofs, Volume 2004

Volume 2004, 2004