doc-src/TutorialI/Inductive/Even.thy
Mon, 02 May 2011 22:31:46 +0200 wenzelm eliminated old CVS Ids;
Wed, 07 Nov 2007 18:19:04 +0100 nipkow added inductive
less more (0) -10 -2 tip