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