| Sat, 08 Aug 2015 10:51:33 +0200 | haftmann | direct bootstrap of integer division from natural division | file | diff | annotate |
| Tue, 04 Aug 2015 23:11:16 +0200 | wenzelm | eliminated clone; | file | diff | annotate |
| Tue, 28 Jul 2015 16:16:13 +0100 | paulson | the Cauchy integral theorem and related material | file | diff | annotate |
| Mon, 27 Jul 2015 17:56:08 +0200 | wenzelm | NEWS; | file | diff | annotate |
| Sun, 26 Jul 2015 22:26:11 +0200 | wenzelm | eliminated atac, rtac, etac, dtac, ftac; | file | diff | annotate |
| Sun, 12 Jul 2015 13:04:42 +0200 | Lars Hupel | Quickcheck setup for finite sets | file | diff | annotate |
| Thu, 09 Jul 2015 22:36:31 +0200 | wenzelm | SUBPROOF and Subgoal.FOCUS combinators use anonymous quasi-bound variables (like the Simplifier); | file | diff | annotate |