| Tue, 17 Jan 2017 13:59:10 +0100 | wenzelm | isabelle update_cartouches -c -t; | file | diff | annotate |
| Mon, 17 Oct 2016 17:33:07 +0200 | nipkow | setprod -> prod | file | diff | annotate |
| Mon, 17 Oct 2016 11:46:22 +0200 | nipkow | setsum -> sum | file | diff | annotate |
| Sun, 16 Oct 2016 09:31:04 +0200 | haftmann | more standardized names | file | diff | annotate |
| Thu, 15 Sep 2016 11:48:20 +0200 | nipkow | renamed listsum -> sum_list, listprod ~> prod_list | file | diff | annotate |
| Fri, 22 Jul 2016 08:02:37 +0200 | wenzelm | tuned proofs -- avoid improper use of "this"; | file | diff | annotate |
| Fri, 17 Jun 2016 11:33:52 +0200 | eberlm | fps_from_poly → fps_of_poly | file | diff | annotate |
| Thu, 16 Jun 2016 17:57:09 +0200 | eberlm | Various additions to polynomials, FPSs, Gamma function | file | diff | annotate |