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
|
Tue, 01 Nov 2016 01:20:33 +0100 |
wenzelm |
back to post-release mode -- after fork point;
|
file |
diff |
annotate
|
Mon, 31 Oct 2016 15:48:27 +0100 |
blanchet |
moved contribution to right release
|
file |
diff |
annotate
|
Tue, 25 Oct 2016 12:36:09 +0200 |
wenzelm |
tuned and updated for release;
|
file |
diff |
annotate
|
Mon, 24 Oct 2016 22:42:07 +0200 |
blanchet |
added Nunchaku integration
|
file |
diff |
annotate
|
Mon, 24 Oct 2016 13:50:12 +0200 |
eberlm |
Updated NEWS/CONTRIBUTORS w.r.t. Old_Number_Theory
|
file |
diff |
annotate
|
Fri, 07 Oct 2016 10:23:50 +0200 |
wenzelm |
updated for release;
|
file |
diff |
annotate
|
Mon, 03 Oct 2016 14:34:29 +0200 |
haftmann |
CONTRIBUTORS
|
file |
diff |
annotate
|
Thu, 29 Sep 2016 20:54:46 +0200 |
boehmes |
CONTRIBUTORS: new proof method "argo"
|
file |
diff |
annotate
|
Wed, 27 Jul 2016 10:44:22 +0200 |
Manuel Eberl |
NEWS: Primes
|
file |
diff |
annotate
|
Thu, 07 Jul 2016 18:08:02 +0200 |
nipkow |
got rid of class cmp; added height-size proofs by Daniel Stuewe
|
file |
diff |
annotate
|