doc-src/TutorialI/Inductive/document/AB.tex
Wed, 29 Jan 2003 16:29:38 +0100 nipkow *** empty log message ***
Wed, 15 Jan 2003 16:43:12 +0100 paulson auto-update
Tue, 17 Dec 2002 11:05:41 +0100 paulson auto-update
Fri, 18 Jan 2002 18:30:19 +0100 wenzelm tuned;
Thu, 29 Nov 2001 21:12:37 +0100 nipkow *** empty log message ***
Mon, 22 Oct 2001 12:01:35 +0200 paulson Numerals now work for the integers: the binary numerals for 0 and 1 rewrite
less more (0) -30 -10 -6 tip