doc-src/TutorialI/Inductive/document/Advanced.tex
Wed, 11 Jul 2007 10:53:39 +0200 berghofe Adapted to new inductive definition package.
Thu, 09 Nov 2006 11:58:45 +0100 wenzelm updated;
Tue, 16 May 2006 20:28:02 +0200 wenzelm updated;
Sat, 18 Mar 2006 18:33:49 +0100 wenzelm updated;
less more (0) -10 -4 tip