# HG changeset patch
# User berghofe
# Date 1184851835 -7200
# Node ID 4cd60e5d29996d3171b35f718c7046b8624949c6
# Parent  9d87177f1f897c9b925d51516714983a4f8700ae
LaTeX code is now generated directly from Even and Advanced theories.

diff -r 9d87177f1f89 -r 4cd60e5d2999 doc-src/TutorialI/Inductive/inductive.tex
--- 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}