Isabelle/HOL sessions
HOL
Classical Higher-order Logic.