\contentsline {chapter}{\numberline {1}The taut Library}{1}
\contentsline {section}{\numberline {1.1}An outline of the method of proof}{2}
\contentsline {section}{\numberline {1.2}Proving formulae containing free variables}{2}
\contentsline {section}{\numberline {1.3}Using the library}{3}
\contentsline {chapter}{\numberline {2}ML Functions in the taut Library}{5}
\contentsline {chapter}{References}{11}
\contentsline {chapter}{Index}{12}
