Theory Phi_BI.Phi_Algebra_Set

theory Phi_Algebra_Set
  imports Algebras
begin


end