An Interpretation of Isabelle/HOL in HOL Light.

Sean McLaughlin

Browse the full CADE paper archive.