| 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
|
| Wed, 08 Jun 2016 09:07:05 +0200 |
Andreas Lochbihler |
NEWS and CONTRIBUTORS for SPMF
|
file |
diff |
annotate
|
| Mon, 28 Mar 2016 12:05:47 +0200 |
blanchet |
tuning
|
file |
diff |
annotate
|
| Tue, 22 Mar 2016 12:39:37 +0100 |
blanchet |
document addition of 'corec'
|
file |
diff |
annotate
|
| Fri, 18 Mar 2016 08:01:49 +0100 |
Andreas Lochbihler |
move Complete_Partial_Orders2 from AFP/Coinductive to HOL/Library
|
file |
diff |
annotate
|
| Thu, 03 Mar 2016 08:33:55 +0100 |
haftmann |
constructive formulation of factorization
|
file |
diff |
annotate
|
| Wed, 17 Feb 2016 21:51:56 +0100 |
haftmann |
prefer abbreviations for compound operators INFIMUM and SUPREMUM
|
file |
diff |
annotate
|