doc-src/TutorialI/Inductive/Even.thy
Fri, 17 Jun 2005 16:12:49 +0200 haftmann migrated theory headers to new format
Thu, 29 Nov 2001 14:12:42 +0100 nipkow *** empty log message ***
Mon, 08 Oct 2001 12:13:34 +0200 wenzelm fixed numerals;
less more (0) -3 tip