section "Hash-Tables" theory Hash_Table imports Collections.HashCode "../Sep_Main" begin subsection ‹Datatype› subsubsection ‹Definition›