| 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 |
| Mon, 28 Dec 2015 17:43:30 +0100 | wenzelm | prefer symbols for "Union", "Inter"; | file | diff | annotate |
| Fri, 13 Nov 2015 12:27:13 +0000 | paulson | Tweaks for "real": Removal of [iff] status for some lemmas, adding [simp] for others. Plus fixes. | file | diff | annotate |
| Sat, 10 Oct 2015 16:26:23 +0200 | wenzelm | isabelle update_cartouches; | file | diff | annotate |
| Sun, 02 Nov 2014 18:21:45 +0100 | wenzelm | modernized header uniformly as section; | file | diff | annotate |
| Sat, 05 Jul 2014 11:01:53 +0200 | haftmann | prefer ac_simps collections over separate name bindings for add and mult | file | diff | annotate |