theory EmptyTheory❚
theory EmptyTheoryWithMeta : ?EmptyTheory❚

view EmptyView : ?EmptyTheory -> ?EmptyTheory❚

theory thy =
  structure emptyStructure : ?EmptyTheory❚
  structure emptyStructureWithEq : ?EmptyTheory=❚
❚