| Fri, 08 Jan 2016 15:27:16 +0100 | eberlm | Tuned constant approximations | file | diff | annotate |
| Thu, 07 Jan 2016 14:37:17 +0100 | Manuel Eberl | Tuned approximations in Multivariate_Analysis | file | diff | annotate |
| Mon, 28 Dec 2015 01:28:28 +0100 | wenzelm | more symbols; | file | diff | annotate |
| Tue, 17 Nov 2015 12:32:08 +0000 | paulson | Removed some legacy theorems; minor adjustments to simplification rules; new material on homotopic paths | file | diff | annotate |
| Tue, 03 Nov 2015 16:47:37 +0100 | wenzelm | tuned imports; | file | diff | annotate |
| Wed, 30 Sep 2015 17:09:12 +0100 | paulson | Dead wood removal | file | diff | annotate |
| Wed, 10 Jun 2015 19:10:20 +0200 | wenzelm | isabelle update_cartouches; | file | diff | annotate |
| Fri, 03 Apr 2015 21:25:55 +0200 | wenzelm | rearranged sessions to save approx. 1min elapsed time, 5min CPU time; | file | diff | annotate | base |