Importing HOL into Isabelle/HOL.

Steven Obua, Sebastian Skalberg

Browse the full CADE paper archive.