Updated the Isabelle theories a bit.