Case Studies in Proof Checking