Theory Friend_All

theory Friend_All
imports Friend_Network
begin


end