LaTeX code is now generated directly from Even and Advanced theories.

--- a/doc-src/TutorialI/Inductive/inductive.tex	Thu Jul 19 15:29:51 2007 +0200
+++ b/doc-src/TutorialI/Inductive/inductive.tex	Thu Jul 19 15:30:35 2007 +0200
@@ -13,13 +13,13 @@
 context-free grammars. The first two sections are required reading for anybody
 interested in mathematical modelling.
 
-\input{Inductive/even-example}
+\input{Inductive/document/Even}
 \input{Inductive/document/Mutual}
 \input{Inductive/document/Star}
 
 \section{Advanced Inductive Definitions}
 \label{sec:adv-ind-def}
-\input{Inductive/advanced-examples}
+\input{Inductive/document/Advanced}
 
 \input{Inductive/document/AB}