Tue, 25 Apr 2017 21:31:28 +0200 | wenzelm | meta_digest without accidental source positions (amending 1544e61e5314): avoid spurious rebuild of unrelated sessions after editing ROOT; | changeset | files |
Tue, 25 Apr 2017 17:10:17 +0100 | paulson | Fixed LaTeX issue | changeset | files |
Tue, 25 Apr 2017 16:39:54 +0100 | paulson | New material from PNT proof, as well as more default [simp] declarations. Also removed duplicate theorems about geometric series | changeset | files |