\documentclass[ams,llncs,book]{tfp07symp}

%include lhs2TeX.fmt
%include polycode.fmt

\usepackage{amsmath}
\usepackage{graphicx}
\usepackage{amssymb}
\usepackage{polytable}
\usepackage{fancyvrb}
\usepackage{mainsty}

\begin{document}

%include format.lhs
%include rules.lhs

\rulerCmdUse{rules.T.coercion.base}

\end{document}