mbdaInduc"] ;
  node5 [URL="../scalahott/NatRing$.html#inheritance-diagram-container", label="NatRing", id="graph1_5", class="default", tooltip="provingground.scalahott.NatRing"] ;
  node6 [URL="ExstInducStrucs$$OrElse.html#inheritance-diagram-container", label="OrElse", id="graph1_6", class="default", tooltip="provingground.induction.ExstInducStrucs.OrElse"] ;
  node7 [URL="ExstInducStrucs$$SimpleBase$.html#inheritance-diagram-container", label="SimpleBase", id="graph1_7", class="default", tooltip="proving