To load all the theory files, type `use "ROOT";' 
in Isabelle/HOL.