| Tue, 17 Jan 2017 13:59:10 +0100 | wenzelm | isabelle update_cartouches -c -t; | file | diff | annotate |
| Tue, 17 Jan 2017 11:26:21 +0100 | wenzelm | more symbols via abbrevs; | file | diff | annotate |
| Mon, 17 Oct 2016 11:46:22 +0200 | nipkow | setsum -> sum | file | diff | annotate |
| Thu, 29 Sep 2016 13:02:43 +0200 | hoelzl | HOL-Analysis: move gauges and (tagged) divisions to its own theory file | file | diff | annotate |