doc-src/TutorialI/Recdef/document/simplification.tex
Wed, 12 Dec 2001 09:04:20 +0100 nipkow *** empty log message ***
Sun, 21 Oct 2001 19:49:29 +0200 wenzelm updated;
Mon, 08 Oct 2001 12:13:56 +0200 wenzelm *** empty log message ***
Fri, 03 Aug 2001 18:04:55 +0200 paulson numerous stylistic changes and indexing
Mon, 19 Mar 2001 13:28:06 +0100 nipkow *** empty log message ***
Fri, 12 Jan 2001 16:07:20 +0100 paulson auto update
Fri, 05 Jan 2001 18:32:57 +0100 paulson minor edits to Chapters 1-3
Wed, 11 Oct 2000 10:44:42 +0200 nipkow *** empty log message ***
Mon, 09 Oct 2000 10:18:21 +0200 nipkow *** empty log message ***
Tue, 12 Sep 2000 15:43:15 +0200 nipkow *** empty log message ***
Mon, 11 Sep 2000 18:00:47 +0200 wenzelm updated;
Tue, 05 Sep 2000 09:03:17 +0200 nipkow *** empty log message ***
less more (0) -12 tip