doc-src/TutorialI/Documents/documents.tex

canonical 'cases'/'induct' rules for n-tuples (n=3..7)
(really belongs to theory Product_Type, but doesn't work there yet)

\chapter{Document preparation}

\input{Documents/document/Documents.tex}


%%% Local Variables: 
%%% mode: latex
%%% TeX-master: t
%%% End: