| 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
|