Distribution"] ;
  node2 [URL="TermListImplicits.html#inheritance-diagram-container", label="TermListImplicits", id="graph1_2", class="default", tooltip="provingground.TermListImplicits"] ;
  node3 [URL="SubstImplicits.html#inheritance-diagram-container", label="SubstImplicits", id="graph1_3", class="default", tooltip="provingground.SubstImplicits"] ;
  node4 [URL="TermList$.html#inheritance-diagram-container", label="TermList", id="graph1_4", class="default", tooltip="provingground.TermList"] ;
  node5 [UR