Importing HOL into Isabelle/HOL. submitted (2006)

by S Obua, S Skalberg