Isabelle/Hol by Lawrence C. Paulson & Tobias Nipkow