Theory HOL_Basics_Base

✐‹creator "Kevin Kappelmann"›
chapter ‹HOL-Basics›
theory HOL_Basics_Base
  imports
    HOL.HOL
begin

end