| Fri, 18 Aug 2017 20:47:47 +0200 | wenzelm | session-qualified theory imports: isabelle imports -U -i -d '~~/src/Benchmarks' -a; | file | diff | annotate |
| Mon, 21 Nov 2016 14:47:15 +0100 | wenzelm | tuned whitespace; | file | diff | annotate |
| Mon, 23 May 2016 22:43:11 +0200 | nipkow | renamed prefix* in Library/Sublist | file | diff | annotate |
| Thu, 28 Apr 2016 11:47:01 +0200 | wenzelm | tuned; | file | diff | annotate |
| Wed, 13 Jan 2016 23:25:18 +0100 | wenzelm | tuned syntax; | file | diff | annotate |
| Mon, 21 Dec 2015 21:48:36 +0100 | wenzelm | misc tuning and modernization; | file | diff | annotate |
| Sun, 07 Jun 2015 12:55:28 +0200 | wenzelm | tuned; | file | diff | annotate |