(* Title: HOL/Import/HOL_Light_Import.thy Author: Cezary Kaliszyk, University of Innsbruck Author: Alexander Krauss, QAware GmbH*)header {* Main HOL Light importer *}theory HOL_Light_Importimports HOL_Light_Mapsbeginimport_file "$HOL_LIGHT_BUNDLE"end