✐‹creator "Kevin Kappelmann"› section ‹HOL Alignments› theory HOL_Alignments imports HOL_Alignment_Binary_Relations HOL_Alignment_Functions HOL_Alignment_Orders HOL_Alignment_Predicates begin paragraph ‹Summary› text ‹Alignment of concepts with HOL counterparts› end