src/HOL/Library/Permutations.thy
Tue, 07 Sep 2010 10:05:19 +0200 nipkow expand_fun_eq -> ext_iff
Sun, 25 Apr 2010 23:22:29 -0700 huffman fix duplicate simp rule warnings
Sat, 24 Apr 2010 13:34:11 -0700 huffman fix imports
Wed, 16 Dec 2009 15:10:08 -0800 huffman swap_self already declared [simp]
Mon, 16 Nov 2009 15:03:23 +0100 hoelzl removed hassize predicate
Thu, 22 Oct 2009 09:27:48 +0200 nipkow inv_onto -> inv_into
Sun, 18 Oct 2009 12:07:56 +0200 nipkow merged
Sun, 18 Oct 2009 12:07:25 +0200 nipkow Inv -> inv_onto, inv abbr. inv_onto UNIV.
Sat, 17 Oct 2009 14:43:18 +0200 wenzelm eliminated hard tabulators, guessing at each author's individual tab-width;
Mon, 31 Aug 2009 14:09:42 +0200 nipkow tuned the simp rules for Int involving insert and intervals.
Mon, 23 Mar 2009 08:14:24 +0100 haftmann Main is (Complex_Main) base entry point in library theories
Thu, 12 Mar 2009 08:57:03 -0700 huffman remove trailing spaces
Wed, 04 Mar 2009 23:52:47 +0100 wenzelm removed old/broken CVS Ids;
Wed, 04 Mar 2009 11:05:29 +0100 blanchet Merge.
Wed, 04 Mar 2009 10:45:52 +0100 blanchet Merge.
Mon, 23 Feb 2009 10:42:31 -0800 huffman explicitly import Fact
Fri, 20 Feb 2009 22:25:36 -0800 huffman generalize lemmas from nat to 'a::wellorder
Fri, 20 Feb 2009 22:10:37 -0800 huffman generalize some lemmas
Mon, 09 Feb 2009 16:42:15 +0000 chaieb Permutations, both general and specifically on finite sets.
less more (0) tip