src/HOL/Library/Permutation.thy
Mon, 05 Nov 2007 18:18:39 +0100 nipkow added lemmas
Mon, 05 Nov 2007 08:31:12 +0100 nipkow added lemmas
Wed, 11 Jul 2007 11:28:13 +0200 berghofe Adapted to new inductive definition package.
Fri, 17 Nov 2006 02:20:03 +0100 wenzelm more robust syntax for definition/abbreviation/notation;
Sun, 09 Apr 2006 18:51:13 +0200 wenzelm tuned syntax/abbreviations;
Wed, 31 Aug 2005 15:46:37 +0200 wenzelm tuned presentation;
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, 22 Jul 2004 10:33:26 +0200 paulson new material courtesy of Norbert Voelker
Thu, 24 Jun 2004 17:54:53 +0200 paulson Norbert Voelker
Thu, 06 May 2004 14:14:18 +0200 wenzelm tuned document;
Fri, 16 Feb 2001 13:37:21 +0100 paulson Blast bug fix made old proof too slow
Sun, 04 Feb 2001 19:42:54 +0100 wenzelm moved from Induct/ to Library/
less more (0) tip