| Fri, 16 Sep 2016 21:28:09 +0200 | wenzelm | more symbols; | file | diff | annotate |
| Thu, 15 Sep 2016 11:48:20 +0200 | nipkow | renamed listsum -> sum_list, listprod ~> prod_list | file | diff | annotate |
| Thu, 26 May 2016 17:51:22 +0200 | wenzelm | isabelle update_cartouches -c -t; | file | diff | annotate |
| Sun, 27 Dec 2015 21:46:36 +0100 | wenzelm | prefer symbols for "floor", "ceiling"; | file | diff | annotate |