| Thu, 31 Jan 2019 13:08:59 +0000 | haftmann | proper congruence rule for image operator | file | diff | annotate |
| Sun, 30 Dec 2018 10:34:56 +0000 | haftmann | prefer naming convention from datatype package for strong congruence rules | file | diff | annotate |
| Sun, 21 Oct 2018 09:39:09 +0200 | nipkow | uniform naming of strong congruence rules | file | diff | annotate |
| Thu, 24 May 2018 09:18:29 +0200 | haftmann | avoid overaggressive classical rule | file | diff | annotate |
| Tue, 16 Jan 2018 09:30:00 +0100 | wenzelm | standardized towards new-style formal comments: isabelle update_comments; | file | diff | annotate |
| Mon, 17 Oct 2016 11:46:22 +0200 | nipkow | setsum -> sum | file | diff | annotate |
| Sat, 02 Jan 2016 18:48:45 +0100 | wenzelm | isabelle update_cartouches -c -t; | file | diff | annotate |