L="TermList.html#inheritance-diagram-container", label="TermList[A]", id="graph1_5", class="default", tooltip="provingground.TermList"] ;
  node6 [URL="Subst.html#inheritance-diagram-container", label="Subst[A]", id="graph1_6", class="default", tooltip="provingground.Subst"] ;
  
  
  node6 -> node5 [arrowtail="empty", dir="back", id="graph1_6_5", class="inheritance", tooltip="TermList[A] is a subtype of Subst[A]"] ;
  node2 -> node4 [arrowtail="empty", dir="back", id="graph1_2_4", class="inheritance", tool