Theory Hypergraph_Basics_Root

theory Hypergraph_Basics_Root 
  imports
    Hypergraph
    Hypergraph_Variations
begin
end