(*  Title:      HOL/Import/HOL_Light_Import.thy
    Author:     Cezary Kaliszyk, University of Innsbruck
    Author:     Alexander Krauss, QAware GmbH
*)

section \<open>Main HOL Light importer\<close>

theory HOL_Light_Import
imports HOL_Light_Maps HOL_Light_Maps_Set HOL_Light_Maps_FOL
begin

import_file "proofs"

end

