Theory HOL_Algebra_Alignments

✐‹creator "Kevin Kappelmann"›
section ‹HOL-Algebra Alignments›
theory HOL_Algebra_Alignments
  imports
    HOL_Algebra_Alignment_Galois
    HOL_Algebra_Alignment_Orders
begin

paragraph ‹Summary›
text ‹Alignment of concepts with HOL-Algebra counterparts›

end