| Fri, 05 May 2017 17:20:50 +0200 |
wenzelm |
clarified signature;
|
changeset |
files
|
| Fri, 05 May 2017 11:38:09 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Fri, 05 May 2017 11:16:13 +0200 |
Manuel Eberl |
NEWS: totient 1 = 1 now
|
changeset |
files
|
| Thu, 04 May 2017 22:19:59 +0200 |
eberlm |
Merged
|
changeset |
files
|
| Thu, 04 May 2017 16:49:29 +0200 |
eberlm |
More material on totient function
|
changeset |
files
|
| Thu, 04 May 2017 16:54:51 +0200 |
wenzelm |
merged
|
changeset |
files
|
| Thu, 04 May 2017 16:49:46 +0200 |
wenzelm |
clarified universal view: include pull_date;
|
changeset |
files
|
| Thu, 04 May 2017 15:38:24 +0200 |
wenzelm |
clarified signature: PostgreSQL manages high-volume data, SQLite only sees small snapshots;
|
changeset |
files
|
| Thu, 04 May 2017 15:31:27 +0200 |
wenzelm |
clarified database layout: pull date progression follows Isabelle only, and AFP is derived from that;
|
changeset |
files
|
| Thu, 04 May 2017 15:20:57 +0200 |
wenzelm |
redundant;
|
changeset |
files
|
| Thu, 04 May 2017 15:15:07 +0100 |
paulson |
Automated merge with bundle:/var/folders/9z/l1x9y3bd16x9_70pdp4703jr0000gp/T/SourceTreeTemp.jiRMht
|
changeset |
files
|
| Thu, 04 May 2017 15:14:49 +0100 |
paulson |
A few more new lemmas
|
changeset |
files
|
| Thu, 04 May 2017 15:10:51 +0200 |
wenzelm |
more permissive, e.g. for system operations as in 678e00851cfb;
|
changeset |
files
|
| Thu, 04 May 2017 14:58:19 +0200 |
wenzelm |
tuned;
|
changeset |
files
|