| Sun, 07 Jan 2018 22:15:54 +0100 | wenzelm | prefer formal comments; | file | diff | annotate |
| Fri, 10 Nov 2017 22:05:30 +0100 | nipkow | replaced raw proof blocks by local lemmas | file | diff | annotate |
| Tue, 09 Aug 2016 17:00:36 +0200 | nipkow | introduced aggressive splitter "split!" | file | diff | annotate |