The main theory of Isabelle/HOL can be found here.