src/HOL/Library/Accessible_Part.thy
Thu, 16 Feb 2006 21:12:00 +0100 wenzelm new-style definitions/abbreviations;
Wed, 23 Nov 2005 22:26:13 +0100 wenzelm tuned induction proofs;
Wed, 18 Aug 2004 11:09:40 +0200 nipkow import -> imports
Mon, 16 Aug 2004 14:22:27 +0200 nipkow New theory header syntax.
Thu, 06 May 2004 14:14:18 +0200 wenzelm tuned document;
Sat, 23 Dec 2000 22:51:01 +0100 wenzelm tuned;
Fri, 03 Nov 2000 21:34:22 +0100 wenzelm tuned notation;
Wed, 18 Oct 2000 23:28:02 +0200 wenzelm The accessible part of a relation (from HOL/Induct/Acc);
less more (0) tip