doc-src/TutorialI/Inductive/AB.thy
Thu, 12 Jun 2008 14:20:25 +0200 nipkow typo
Wed, 07 Nov 2007 18:19:04 +0100 nipkow added inductive
less more (0) -10 -2 tip