Sun, 22 Oct 2017 09:10:10 +0200 |
nipkow |
derived axiom iffI as a lemma (thanks to Alexander Maletzky)
|
file |
diff |
annotate
|
Fri, 08 Sep 2017 19:37:46 +0200 |
wenzelm |
back to post-release mode -- after fork point;
|
file |
diff |
annotate
|
Fri, 08 Sep 2017 19:31:43 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Fri, 08 Sep 2017 15:48:58 +0100 |
paulson |
Lawrence Paulson's contributions
|
file |
diff |
annotate
|
Fri, 08 Sep 2017 16:20:47 +0200 |
blanchet |
listed contribution
|
file |
diff |
annotate
|
Wed, 30 Aug 2017 18:01:27 +0200 |
Andreas Lochbihler |
add type of unordered pairs
|
file |
diff |
annotate
|
Tue, 22 Aug 2017 11:42:51 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Mon, 21 Aug 2017 20:49:15 +0200 |
Manuel Eberl |
HOL-Analysis: Convergent FPS and infinite sums
|
file |
diff |
annotate
|
Mon, 21 Aug 2017 17:15:26 +0200 |
wenzelm |
misc updates for release;
|
file |
diff |
annotate
|
Mon, 20 Mar 2017 21:01:47 +0100 |
ballarin |
Corrected affiliation.
|
file |
diff |
annotate
|
Thu, 02 Mar 2017 21:16:02 +0100 |
ballarin |
Knaster-Tarski fixed point theorem and Galois Connections.
|
file |
diff |
annotate
|
Wed, 22 Feb 2017 20:33:53 +0100 |
haftmann |
more precise NEWS and CONTRIBUTORS
|
file |
diff |
annotate
|
Wed, 22 Feb 2017 20:24:50 +0100 |
haftmann |
basic documentation for computations
|
file |
diff |
annotate
|
Mon, 12 Dec 2016 17:40:06 +0100 |
wenzelm |
merged
|
file |
diff |
annotate
|
Mon, 12 Dec 2016 11:33:14 +0100 |
wenzelm |
proper session HOL-Types_To_Sets;
|
file |
diff |
annotate
|