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