doc-src/TutorialI/Inductive/AB.thy
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) -10 -3 tip