Thu, 08 Dec 2005 12:50:04 +0100 |
wenzelm |
tuned sources and proofs
|
file |
diff |
annotate
|
Sun, 12 Dec 2004 16:25:47 +0100 |
nipkow |
REorganized Finite_Set
|
file |
diff |
annotate
|
Thu, 09 Dec 2004 18:30:59 +0100 |
nipkow |
First step in reorganizing Finite_Set
|
file |
diff |
annotate
|
Wed, 04 Aug 2004 19:09:58 +0200 |
nipkow |
proof mod
|
file |
diff |
annotate
|
Thu, 15 Jul 2004 15:32:32 +0200 |
paulson |
redefining sumr to be a translation to setsum
|
file |
diff |
annotate
|
Mon, 21 Jun 2004 10:25:57 +0200 |
kleing |
Merged in license change from Isabelle2004
|
file |
diff |
annotate
|
Thu, 25 Mar 2004 10:32:21 +0100 |
paulson |
new material from Avigad
|
file |
diff |
annotate
|
Thu, 04 Mar 2004 12:06:07 +0100 |
paulson |
new material from Avigad, and simplified treatment of division by 0
|
file |
diff |
annotate
|
Thu, 20 Mar 2003 15:58:25 +0100 |
paulson |
Gauss's law of quadratic reciprocity by Avigad, Gray and Kramer
|
file |
diff |
annotate
|