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
|