="Stlc-Gentzen.html">Stlc.Gentzen</a></span></li><li><span class="module"><a href="Stlc-Types.html">Stlc.Types</a></span></li></ul></li></ul></div></div><div id="footer"><p>Produced by <a href="http://www.haskell.org/haddock/">Haddock</a> version 2.17.3</p></div></body></html>