http://www21.in.tum.de/~rosskops
This is an unofficial reimagining of the Archive of Formal Proofs
Isabelle's Metalogic: Formalization and Proof Checkerby Tobias Nipkow and Simon Roßkopf